diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 6a9ace762..16393d2b8 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2592,7 +2592,7 @@ def mk_win_dist(build_path, dist_path):
     for c in get_components():
         c.mk_win_dist(build_path, dist_path)
     # Add Z3Py to bin directory
-    print "Adding to %s\n" % dist_path
+    print("Adding to %s\n" % dist_path)
     for pyc in filter(lambda f: f.endswith('.pyc') or f.endswith('.py'), os.listdir(build_path)):
         shutil.copy(os.path.join(build_path, pyc),
                     os.path.join(dist_path, 'bin', pyc))