diff --git a/pkgs/applications/science/logic/lean/default.nix b/pkgs/applications/science/logic/lean/default.nix
index 4d391379e81..2d93fdd6196 100644
--- a/pkgs/applications/science/logic/lean/default.nix
+++ b/pkgs/applications/science/logic/lean/default.nix
@@ -14,7 +14,10 @@ stdenv.mkDerivation rec {
   buildInputs = [ gmp mpfr luajit boost cmake python gperftools ninja ];
   enableParallelBuilding = true;
 
-  preConfigure = "cd src";
+  preConfigure = ''
+    patchShebangs bin/leantags
+    cd src
+  '';
 
   cmakeFlags = [ "-DCMAKE_BUILD_TYPE=Release" ];