diff --git a/scripts/vsts-mac.sh b/scripts/vsts-mac.sh
index 3a5a86b47..6c588a1e3 100644
--- a/scripts/vsts-mac.sh
+++ b/scripts/vsts-mac.sh
@@ -14,5 +14,6 @@ make c_example
 ./test_capi
 
 git clone https://github.com/z3prover/z3test.git z3test
-python z3test/scripts/test_benchmarks.py ./z3.bin ./z3test/regressions/smt2
+ls
+python z3test/scripts/test_benchmarks.py ./z3.exe ./z3test/regressions/smt2