diff --git a/unittest/old/dune b/unittest/old/dune
index da6b7015..95f488d2 100644
--- a/unittest/old/dune
+++ b/unittest/old/dune
@@ -19,7 +19,7 @@
  (targets basic.drup)
  (deps
   (:pb basic.cnf)
-  (:solver ../main/main.exe))
+  (:solver ../../src/main/main.exe))
  (action
   (run %{solver} %{pb} -t 2 -o %{targets})))
 
diff --git a/unittest/old/regression/dune b/unittest/old/regression/dune
index a5440a9a..8bd5feb3 100644
--- a/unittest/old/regression/dune
+++ b/unittest/old/regression/dune
@@ -2,11 +2,11 @@
  (targets reg_model_lra1.out)
  (deps
   (:file reg_model_lra1.smt2)
-  ../../main/main.exe)
+  (:main ../../../src/main/main.exe))
  (action
   (with-stdout-to
    %{targets}
-   (bash "../../main/main.exe %{file} | tail -n +2"))))
+   (bash "%{main} %{file} | tail -n +2"))))
 
 (rule
  (alias runtest)