diff --git a/src/api/ml/CMakeLists.txt b/src/api/ml/CMakeLists.txt
index d4e781e6e..c7de53faa 100644
--- a/src/api/ml/CMakeLists.txt
+++ b/src/api/ml/CMakeLists.txt
@@ -255,6 +255,7 @@ set(z3ml_example_src ${PROJECT_SOURCE_DIR}/examples/ml/ml_example.ml)
 add_custom_command(
   TARGET build_z3_ocaml_bindings POST_BUILD
   COMMAND "${OCAMLFIND}" ocamlc
+    -cclib "${libz3_path}/libz3${so_ext}"
     -o "${z3ml_bin}/ml_example.byte"
     -package zarith
     -linkpkg
@@ -270,6 +271,7 @@ add_custom_command(
 add_custom_command(
   TARGET build_z3_ocaml_bindings POST_BUILD
   COMMAND "${OCAMLFIND}" ocamlopt
+    -cclib "${libz3_path}/libz3${so_ext}"
     -o "${z3ml_bin}/ml_example"
     -package zarith
     -linkpkg