diff --git a/src/api/ml/CMakeLists.txt b/src/api/ml/CMakeLists.txt
index b80397da0..907fbdc2e 100644
--- a/src/api/ml/CMakeLists.txt
+++ b/src/api/ml/CMakeLists.txt
@@ -212,20 +212,12 @@ add_custom_command(
 # Example
 ###############################################################################
  
-add_custom_command(
-  OUTPUT  ${z3ml_bin}/ml_example.ml
-  COMMAND "${CMAKE_COMMAND}" "-E" 
-          "copy" "${PROJECT_SOURCE_DIR}/examples/ml/ml_example.ml" "${z3ml_bin}/ml_example.ml"
-  DEPENDS ${PROJECT_SOURCE_DIR}/examples/ml/ml_example.ml
-  COMMENT "Copying ml_example.ml to build area")
 
 execute_process(
   COMMAND ${OCAMLFIND} query zarith
   OUTPUT_VARIABLE ocaml_pkg_zarith_path
   OUTPUT_STRIP_TRAILING_WHITESPACE)
 
-#     "-I" "+threads"
-
 add_custom_command(
   OUTPUT ${z3ml_bin}/ml_example${bc_ext}
          ${z3ml_bin}/ml_example.bc.log
@@ -238,19 +230,17 @@ add_custom_command(
     "-dllpath" ${ocaml_stublibs_path}
     "${ocaml_pkg_zarith_path}/zarith.cma"
     "${z3ml_bin}/z3ml.cma"
-    "${z3ml_bin}/ml_example.ml"
+    "${z3ml_src}/ml_example.ml"
   COMMAND 
     "ocamlrun" "${z3ml_bin}/ml_example${bc_ext}"
     ">" "${z3ml_bin}/ml_example.bc.log"
   DEPENDS
     ${z3ml_bin}/z3ml.cma
     ${z3ml_bin}/dllz3ml.so
-    ${z3ml_bin}/ml_example.ml
+    ${z3ml_src}/ml_example.ml
   COMMENT "Testing build and run ml_example bytecode"
   VERBATIM)
 
-#     "-I" "+threads"
-
 add_custom_command(
   OUTPUT ${z3ml_bin}/ml_example${exe_ext}
          ${z3ml_bin}/ml_example.log
@@ -260,13 +250,13 @@ add_custom_command(
     "-linkpkg"
     "-I" "${z3ml_bin}"
     "${z3ml_bin}/z3ml.cmxa"
-    "${z3ml_bin}/ml_example.ml"
+    "${z3ml_src}/ml_example.ml"
   COMMAND "${z3ml_bin}/ml_example${exe_ext}"
     ">" "${z3ml_bin}/ml_example.log"
   DEPENDS
     ${z3ml_bin}/z3ml.cmxa
     ${z3ml_bin}/dllz3ml.so
-    ${z3ml_bin}/ml_example.ml
+    ${z3ml_src}/ml_example.ml
   COMMENT "Testing build and run ml_example natively"
   VERBATIM)