diff --git a/pkgs/applications/science/logic/redprl/default.nix b/pkgs/applications/science/logic/redprl/default.nix
index 1df3fa940f94..70b3008156c7 100644
--- a/pkgs/applications/science/logic/redprl/default.nix
+++ b/pkgs/applications/science/logic/redprl/default.nix
@@ -8,6 +8,9 @@ stdenv.mkDerivation {
     fetchSubmodules = true;
   };
   buildInputs = [ mlton ];
+  patchPhase = ''
+    patchShebangs ./script/
+  '';
   builder = builtins.toFile "builder.sh" ''
     source $stdenv/setup
     mkdir -p $out/bin