diff --git a/src/api/ml/META b/src/api/ml/META
index 8634b53b1..635de613c 100644
--- a/src/api/ml/META
+++ b/src/api/ml/META
@@ -4,6 +4,8 @@ description = "Z3 Theorem Prover (OCaml API)"
 requires = "num"
 archive(byte) = "z3ml.cma"
 archive(native) = "z3ml.cmxa"
-archive(byte, plugin) = "z3ml.cma"
-archive(native, plugin) = "z3ml.cmxs"
+archive(byte,plugin) = "z3ml.cma"
+archive(native,plugin) = "z3ml.cmxa"
+archive(byte,toploop) = "z3ml.cma"
+archive(native,toploop) = "z3ml.cmxa"
 linkopts = "-cclib -lz3"