diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 4f2534a16..f65ee2027 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2270,7 +2270,7 @@ class MLComponent(Component):
 
             OCAMLMKLIB = 'ocamlmklib'
 
-            LIBZ3 = '-l' + z3link
+            LIBZ3 = '-cclib -l' + z3link
             if is_cygwin() and not(is_cygwin_mingw()):
                 LIBZ3 = z3linkdep