diff --git a/unittest/old/dune b/unittest/old/dune
index 95f488d2..3c7bf9a0 100644
--- a/unittest/old/dune
+++ b/unittest/old/dune
@@ -15,17 +15,18 @@
    (run ./run_tests.exe alcotest) ; run regressions first
    (run ./run_tests.exe qcheck --verbose))))
 
-(rule
- (targets basic.drup)
- (deps
-  (:pb basic.cnf)
-  (:solver ../../src/main/main.exe))
- (action
-  (run %{solver} %{pb} -t 2 -o %{targets})))
-
-(rule
- (alias runtest)
- (locks /test)
- (package sidekick-bin)
- (action
-  (diff basic.drup.expected basic.drup)))
+; FIXME
+;(rule
+; (targets basic.drup)
+; (deps
+;  (:pb basic.cnf)
+;  (:solver ../../src/main/main.exe))
+; (action
+;  (run %{solver} %{pb} -t 2 -o %{targets})))
+;
+;(rule
+; (alias runtest)
+; (locks /test)
+; (package sidekick-bin)
+; (action
+;  (diff basic.drup.expected basic.drup)))
diff --git a/unittest/old/regression/dune b/unittest/old/regression/dune
index 8bd5feb3..c4a26e7c 100644
--- a/unittest/old/regression/dune
+++ b/unittest/old/regression/dune
@@ -1,16 +1,17 @@
-(rule
- (targets reg_model_lra1.out)
- (deps
-  (:file reg_model_lra1.smt2)
-  (:main ../../../src/main/main.exe))
- (action
-  (with-stdout-to
-   %{targets}
-   (bash "%{main} %{file} | tail -n +2"))))
-
-(rule
- (alias runtest)
- (locks /test)
- (package sidekick-bin)
- (action
-  (diff reg_model_lra1.out.expected reg_model_lra1.out)))
+; FIXME
+;(rule
+; (targets reg_model_lra1.out)
+; (deps
+;  (:file reg_model_lra1.smt2)
+;  (:main ../../../src/main/main.exe))
+; (action
+;  (with-stdout-to
+;   %{targets}
+;   (bash "%{main} %{file} | tail -n +2"))))
+;
+;(rule
+; (alias runtest)
+; (locks /test)
+; (package sidekick-bin)
+; (action
+;  (diff reg_model_lra1.out.expected reg_model_lra1.out)))