diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index d051cb0ee..a3418e865 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -4,8 +4,7 @@ variables:
   Minor: '15'
   Patch: '4'
   ReleaseVersion: $(Major).$(Minor).$(Patch)
-  AssemblyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
-  NightlyVersion: $(AssemblyVersion)-$(Build.buildId)
+  NightlyVersion: $(Major).$(Minor).$(Patch).$(Build.BuildId)
   # TODO: Auto-read from VERSION.txt when Azure DevOps supports it better
 
 stages:
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