diff --git a/scripts/mk_copyright.py b/scripts/mk_copyright.py
index 4d774cb96..730020a38 100644
--- a/scripts/mk_copyright.py
+++ b/scripts/mk_copyright.py
@@ -50,7 +50,7 @@ def add_missing_cr(dir):
 	    if f.endswith('.cpp') or f.endswith('.h') or f.endswith('.c') or f.endswith('.cs'):
 		path = "%s\\%s" % (root, f)
 		if not has_cr(path):
-		    print "Missing CR for %s" % path
+		    print("Missing CR for %s" % path)
 		    add_cr(path)
 
 add_missing_cr('src')
diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
index 8256236cb..a8a60ae75 100644
--- a/scripts/mk_unix_dist.py
+++ b/scripts/mk_unix_dist.py
@@ -42,16 +42,16 @@ def set_build_dir(path):
     mk_dir(BUILD_DIR)
 
 def display_help():
-    print "mk_unix_dist.py: Z3 Linux/OSX/BSD distribution generator\n"
-    print "This script generates the zip files containing executables, shared objects, header files for Linux/OSX/BSD."
-    print "It must be executed from the Z3 root directory."
-    print "\nOptions:"
-    print "  -h, --help                    display this message."
-    print "  -s, --silent                  do not print verbose messages."
-    print "  -b <sudir>, --build=<subdir>  subdirectory where x86 and x64 Z3 versions will be built (default: build-dist)."
-    print "  -f, --force                   force script to regenerate Makefiles."
-    print "  --nojava                      do not include Java bindings in the binary distribution files."
-    print "  --githash                     include git hash in the Zip file."
+    print("mk_unix_dist.py: Z3 Linux/OSX/BSD distribution generator\n")
+    print("This script generates the zip files containing executables, shared objects, header files for Linux/OSX/BSD.")
+    print("It must be executed from the Z3 root directory.")
+    print("\nOptions:")
+    print("  -h, --help                    display this message.")
+    print("  -s, --silent                  do not print verbose messages.")
+    print("  -b <sudir>, --build=<subdir>  subdirectory where x86 and x64 Z3 versions will be built (default: build-dist).")
+    print("  -f, --force                   force script to regenerate Makefiles.")
+    print("  --nojava                      do not include Java bindings in the binary distribution files.")
+    print("  --githash                     include git hash in the Zip file.")
     exit(0)
 
 # Parse configuration option for mk_make script
@@ -169,7 +169,7 @@ def mk_dist_dir():
         mk_util.JAVA_ENABLED = JAVA_ENABLED
     mk_unix_dist(build_path, dist_path)
     if is_verbose():
-        print "Generated distribution folder at '%s'" % dist_path
+        print("Generated distribution folder at '%s'" % dist_path)
 
 ZIPOUT = None
 
@@ -193,7 +193,7 @@ def mk_zip():
         ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
         os.path.walk(dist_path, mk_zip_visitor, '*')
         if is_verbose():
-            print "Generated '%s'" % zfname
+            print("Generated '%s'" % zfname)
     except:
         pass
     ZIPOUT = None
diff --git a/scripts/update_header_guards.py b/scripts/update_header_guards.py
index 11cd6aea2..1010f1899 100644
--- a/scripts/update_header_guards.py
+++ b/scripts/update_header_guards.py
@@ -10,7 +10,7 @@ endif   = re.compile("#endif /\* \_(.*)\_H\_")
 
 
 def fix_hdr(file):
-    print file
+    print(file)
     tmp = "%s.tmp" % file
     ins = open(file)
     ous = open(tmp,'w')
@@ -29,7 +29,7 @@ def fix_hdr(file):
 	    continue	    
 	m = ifndef.search(line)
 	if m:
-	    print m.group(1)
+	    print(m.group(1))
 	    ous.write("#ifndef ")
 	    ous.write(m.group(1))
 	    ous.write("_H_\n")