diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index bd3de308794..8f00b2755ff 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -181,10 +181,10 @@ def exec_cmds(cmds):
 def mk_z3(x64):
     cmds = []
     if x64:
-        cmds.append('call "%VCINSTALLDIR%vcvarsall.bat" amd64')
+        cmds.append('call "%VCINSTALLDIR%Auxiliary\\build\\vcvarsall.bat" amd64')
         cmds.append('cd %s' % BUILD_X64_DIR)
     else:
-        cmds.append('call "%VCINSTALLDIR%vcvarsall.bat" x86')
+        cmds.append('call "%VCINSTALLDIR%Auxiliary\\build\\vcvarsall.bat" x86')
         cmds.append('cd %s' % BUILD_X86_DIR)
     cmds.append('nmake')
     if exec_cmds(cmds) != 0: