diff --git a/lib/dune b/lib/dune
index 8d133149..fea365b0 100644
--- a/lib/dune
+++ b/lib/dune
@@ -67,6 +67,13 @@
    from
    (z3 -> z3_mappings.default.ml)
    (-> z3_mappings.nop.ml))
+  ;; This is the improved version of the mappings
+  ;; Will replace the previous one at some point
+  (select
+   z3_mappings2.ml
+   from
+   (z3 -> z3_mappings2.default.ml)
+   (-> z3_mappings2.nop.ml))
   (select
    cvc5_mappings.ml
    from
@@ -90,6 +97,11 @@
     (progn
      (echo "let solver_name = \"Z3\"\n")
      (cat mappings.nop.ml)))
+   (with-stdout-to
+    z3_mappings2.nop.ml
+    (progn
+     (echo "let solver_name = \"Z3\"\n")
+     (cat mappings.nop.ml)))
    (with-stdout-to
     colibri2_mappings.nop.ml
     (progn
diff --git a/lib/z3_mappings2.ml b/lib/z3_mappings2.default.ml
similarity index 100%
rename from lib/z3_mappings2.ml
rename to lib/z3_mappings2.default.ml