diff --git a/nix/plugins-tests.nix b/nix/plugins-tests.nix
index 6527f6d65954a84d5dfa4e8176e6febe60562982..a56496b55b8b469a867fe5aba3d6f71388f3fdb2 100644
--- a/nix/plugins-tests.nix
+++ b/nix/plugins-tests.nix
@@ -19,19 +19,15 @@ stdenv.mkDerivation rec {
   sourceRoot = ".";
 
   buildInputs = frama-c.buildInputs ++ [
-    alt-ergo
+    alt-ergo # only for WP qualif
     frama-c
     perl
     time
     which
   ];
 
-  postPatch = ''
-    find . \( -name "Makefile*" -or -name ".depend" -o -name "ptests_config" -o -name "config.status" \) -exec bash -c "t=\$(stat -c %y \"\$0\"); sed -i -e \"s&$(cat $build_dir/old_pwd)&$(pwd)&g\" \"\$0\"; touch -d \"\$t\" \"\$0\"" {} \;
-    patchShebangs .
-  '';
-
   # Keep main configuration
+  # Only for WP qualif -> replace with true after split
   configurePhase = ''
     mkdir home
     HOME=$(pwd)/home