diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index f6f95cf7d..46229b20c 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1417,7 +1417,10 @@ class MLComponent(Component):
             self.mk_ml_meta(os.path.join('src/api/ml/META'), os.path.join(BUILD_DIR, sub_dir, 'META'), VER_MAJOR, VER_MINOR, VER_BUILD, VER_REVISION)
             out.write('ocamlfind_install: api/ml/z3.cma api/ml/z3.cmxa\n')
             out.write('\tocamlfind remove Z3\n')
-            out.write('\tocamlfind install Z3 api/ml/META api/ml/z3.cma api/ml/z3.cmxa api/ml/z3.lib api/ml/libz3ml.lib libz3.lib libz3.dll\n')
+            out.write('\tocamlfind install Z3 api/ml/META api/ml/z3.cma api/ml/z3.cmxa api/ml/z3$(LIB_EXT) api/ml/libz3ml$(LIB_EXT) libz3$(SO_EXT)')
+            if IS_WINDOWS:
+                out.write(' libz3$(LIB_EXT)')
+            out.write('\n')
             out.write('\n')