diff --git a/src/api/ml/META.in b/src/api/ml/META.in
index bda80fdc4..591780e90 100644
--- a/src/api/ml/META.in
+++ b/src/api/ml/META.in
@@ -8,4 +8,4 @@ archive(byte,plugin) = "z3ml.cma"
 archive(native,plugin) = "z3ml.cmxs"
 archive(byte,toploop) = "z3ml.cma"
 archive(native,toploop) = "z3ml.cmxa"
-linkopts = "-cclib @LEXTRA@"
+linkopts = "-cclib -lstdc++ @LEXTRA@"