diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index d76e03ba6..ce2e7cb7e 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -8,7 +8,7 @@
 from mk_util import *
 
 def init_version():
-    set_version(4, 13, 0, 1) # express a default build version or pick up ci build version
+    set_version(4, 13, 1, 0) # express a default build version or pick up ci build version
     
 # Z3 Project definition
 def init_project_def():