diff --git a/Microsoft.Z3/test_mapi/build-external.cmd b/Microsoft.Z3/test_mapi/build-external.cmd
deleted file mode 100644
index c493f0d41..000000000
--- a/Microsoft.Z3/test_mapi/build-external.cmd
+++ /dev/null
@@ -1,4 +0,0 @@
-copy ..\..\bin\Microsoft.Z3.dll .
-copy ..\..\bin\Z3.dll .
-
-csc /reference:Microsoft.Z3.dll /debug:full /platform:x86 /reference:System.Numerics.dll Program.cs
\ No newline at end of file
diff --git a/Microsoft.Z3/test_mapi/build.cmd b/Microsoft.Z3/test_mapi/build.cmd
index bdcf0f15c..bfc0870aa 100644
--- a/Microsoft.Z3/test_mapi/build.cmd
+++ b/Microsoft.Z3/test_mapi/build.cmd
@@ -1,4 +1,4 @@
-copy ..\..\x64\release\Microsoft.Z3.dll .
-copy ..\..\x64\release\Z3.dll .
+copy ..\..\external\Microsoft.Z3.dll .
+copy ..\..\external\Z3.dll .
 
-csc /reference:..\..\x64\release\Microsoft.Z3.dll /debug:full /platform:x64 /reference:System.Numerics.dll Program.cs
\ No newline at end of file
+csc /reference:..\..\external\Microsoft.Z3.dll /platform:anycpu /reference:System.Numerics.dll Program.cs
\ No newline at end of file