diff --git a/src/prelude.ml b/src/alt_ergo_prelude.ml
similarity index 100%
rename from src/prelude.ml
rename to src/alt_ergo_prelude.ml
diff --git a/src/dune b/src/dune
index 250bda13c..88b2286b6 100644
--- a/src/dune
+++ b/src/dune
@@ -17,6 +17,5 @@
 (library
  (name alt_ergo_prelude)
  (package alt-ergo-lib)
- (wrapped false)
- (modules prelude)
+ (modules alt_ergo_prelude)
 )
diff --git a/src/lib/dune b/src/lib/dune
index 2d7f7575e..c67fb0a69 100644
--- a/src/lib/dune
+++ b/src/lib/dune
@@ -7,7 +7,7 @@
 (library
   (name AltErgoLib)
   (public_name alt-ergo-lib)
-  (ocamlopt_flags (:standard -open Prelude))
+  (flags (:standard -open Alt_ergo_prelude))
   ; external dependencies
   (libraries
     seq