diff --git a/src/lib/crypto/kimchi_backend/common/dune b/src/lib/crypto/kimchi_backend/common/dune
index 4e397502afd..d20eaf337c1 100644
--- a/src/lib/crypto/kimchi_backend/common/dune
+++ b/src/lib/crypto/kimchi_backend/common/dune
@@ -45,6 +45,7 @@
  (targets version.ml)
  (deps
   (:< gen_version.sh)
-  (source_tree ../../proof-systems))
+  (source_tree ../../proof-systems)
+  (sandbox none))
  (action
   (run %{<} %{targets})))