diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 4a1a02b544e2fa584a266ec93f6549c2bf31ad3f..c6dda4b013277823b0aa0ddfe5fb340137a345bb 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -109,6 +109,10 @@ stdenvNoCC.mkDerivation rec {
 
   outputs = [ "out" "build_dir" ];
 
+  postPatch = ''
+    patchShebangs .
+  '';
+
   preConfigure = ''
     dune build @frama-c-configure
   '';