diff --git a/dune b/dune
index ed665db4..8b682629 100644
--- a/dune
+++ b/dune
@@ -3,6 +3,7 @@
  (name runtest)
  (deps README.md src/core/msat.cma src/sat/msat_sat.cma (source_tree src))
  (locks test)
+ (package msat)
  (action (progn
           (run mdx test README.md)
           (diff? README.md README.md.corrected))))
diff --git a/msat-bin.opam b/msat-bin.opam
index 063eac4e..4443f8ee 100644
--- a/msat-bin.opam
+++ b/msat-bin.opam
@@ -7,7 +7,7 @@ author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
   ["dune" "build" "@install" "-p" name "-j" jobs]
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  #["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
   "ocaml" { >= "4.03" }