diff --git a/src/plugins/AB-Why3/preludes/dune b/src/plugins/AB-Why3/preludes/dune
index 82010ae4a..0cf8e650e 100644
--- a/src/plugins/AB-Why3/preludes/dune
+++ b/src/plugins/AB-Why3/preludes/dune
@@ -8,5 +8,11 @@
 )
 
 (cram
+ (package alt-ergo)
  (alias runtest-ci)
- (deps b-set-theory-prelude-2018-09-28.ae b-set-theory-prelude-2020-02-28.ae))
+ (deps
+   %{bin:alt-ergo}
+   b-set-theory-prelude-2018-09-28.ae
+   b-set-theory-prelude-2020-02-28.ae
+ )
+)
diff --git a/src/preludes/dune b/src/preludes/dune
index 1bb879c03..8395d2763 100644
--- a/src/preludes/dune
+++ b/src/preludes/dune
@@ -9,5 +9,12 @@
 )
 
 (cram
+ (package alt-ergo)
  (alias runtest-ci)
- (deps fpa-theory-2017-01-04-16h00.ae fpa-theory-2019-06-14-11h00.ae fpa-theory-2019-10-08-19h00.ae))
+ (deps
+   %{bin:alt-ergo}
+   fpa-theory-2017-01-04-16h00.ae
+   fpa-theory-2019-06-14-11h00.ae
+   fpa-theory-2019-10-08-19h00.ae
+ )
+)