diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index cbde7206f..a82666f2f 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -189,7 +189,7 @@ def mk_dist_dir():
 def get_dist_path(x64):
     return get_z3_name(x64)
 
-def mk_zip(x64):
+def mk_zip_core(x64):
     dist_path = get_dist_path(x64)
     old = os.getcwd()
     try: