diff --git a/pkgs/by-name/le/lean/package.nix b/pkgs/by-name/le/lean/package.nix
index dd20f65e9431..e71f25725990 100644
--- a/pkgs/by-name/le/lean/package.nix
+++ b/pkgs/by-name/le/lean/package.nix
@@ -54,7 +54,13 @@ stdenv.mkDerivation rec {
         --subst-var-by GIT_SHA1 "${src.rev}"
     '';
 
-  postPatch = "patchShebangs .";
+  postPatch = ''
+    patchShebangs .
+
+    sed -e '1i #include <cstdint>' -i src/util/hash.{cpp,h}
+  '';
+
+  env.NIX_CFLAGS_COMPILE = "-Wno-error=template-body";
 
   postInstall = lib.optionalString stdenv.hostPlatform.isDarwin ''
     substituteInPlace $out/bin/leanpkg \