diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 960aaa1ccd0..0e3e442d83a 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -59,8 +59,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3 build/api/ml/* -dll build/libz3.*
     - script: |
@@ -94,8 +92,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3-static build/api/ml/* build/libz3-static.a
     - script: |
@@ -316,8 +312,6 @@ jobs:
         make -j3
         make -j3 examples
         make -j3 test-z3
-        ./ml_example.byte
-        ./ml_example
         cd ..
     - script: eval `opam config env`; ocamlfind install z3 build/api/ml/* -dll build/libz3.*
     - script: |
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 8f664b942cb..e6d34dc3e84 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2040,7 +2040,7 @@ def mk_makefile(self, out):
             out.write('\n')
             out.write('ml: %s.cma %s.cmxa %s.cmxs\n' % (z3mls, z3mls, z3mls))
             if IS_OSX:
-                out.write('\tinstall_name_tool -id libz3.dylib %s/libz3.dylib libz3.dylib\n' % (stubs_install_path))
+                out.write('\tinstall_name_tool -id %s/libz3.dylib libz3.dylib\n' % (stubs_install_path))
                 out.write('\tinstall_name_tool -change libz3.dylib %s/libz3.dylib api/ml/dllz3ml.so\n' % (stubs_install_path))                
             out.write('\n')