diff --git a/nix/default.nix b/nix/default.nix
index 610b886c089a9da73b709082f2bde0900ac13421..b3e6929a292d9f526fabea47f1ded55b933450e4 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -237,8 +237,8 @@ rec {
            chmod -R u+w -- "$sourceRoot/src/plugins/counter-examples"
            cp -r --preserve=mode "$genassigns_src" "$sourceRoot/src/plugins/genassigns"
            chmod -R u+w -- "$sourceRoot/src/plugins/genassigns"
-           cp -r --preserve=mode "$frama_clang_src" "$sourceRoot/src/plugins/frama-clang"
-           chmod -R u+w -- "$sourceRoot/src/plugins/frama-clang"
+           # cp -r --preserve=mode "$frama_clang_src" "$sourceRoot/src/plugins/frama-clang"
+           # chmod -R u+w -- "$sourceRoot/src/plugins/frama-clang"
            cp -r --preserve=mode "$pathcrawler_src" "$sourceRoot/src/plugins/pathcrawler"
            chmod -R u+w -- "$sourceRoot/src/plugins/pathcrawler"
            cp -r --preserve=mode "$mthread_src" "$sourceRoot/src/plugins/mthread"