diff --git a/CMakeLists.txt b/CMakeLists.txt
index 40e8ae250..869ca4992 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -34,7 +34,7 @@ project(Z3 C CXX)
 set(Z3_VERSION_MAJOR 4)
 set(Z3_VERSION_MINOR 4)
 set(Z3_VERSION_PATCH 2)
-set(Z3_VERSION_TWEAK 0)
+set(Z3_VERSION_TWEAK 1)
 set(Z3_VERSION "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}")
 message(STATUS "Z3 version ${Z3_VERSION}")
 
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
index e7177000f..f7b832bb9 100644
--- a/scripts/mk_project.py
+++ b/scripts/mk_project.py
@@ -9,7 +9,7 @@ from mk_util import *
 
 # Z3 Project definition
 def init_project_def():
-    set_version(4, 4, 2, 0)
+    set_version(4, 4, 2, 1)
     add_lib('util', [])
     add_lib('polynomial', ['util'], 'math/polynomial')
     add_lib('sat', ['util'])
diff --git a/src/api/api_log.cpp b/src/api/api_log.cpp
index 4a1ae27e5..f153cd836 100644
--- a/src/api/api_log.cpp
+++ b/src/api/api_log.cpp
@@ -20,6 +20,7 @@ Revision History:
 #include"z3.h"
 #include"api_log_macros.h"
 #include"util.h"
+#include"version.h"
 
 std::ostream * g_z3_log = 0;
 bool g_z3_log_enabled   = false;
@@ -35,6 +36,8 @@ extern "C" {
             g_z3_log = 0;
             return Z3_FALSE;
         }
+        *g_z3_log << "V \"" << Z3_MAJOR_VERSION << "." << Z3_MINOR_VERSION << "." << Z3_BUILD_NUMBER << "." << Z3_REVISION_NUMBER << " " << __DATE__ << "\"\n";
+        g_z3_log->flush();
         return Z3_TRUE;
     }
 
diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp
index b1baa6de2..826e767f2 100644
--- a/src/api/z3_replayer.cpp
+++ b/src/api/z3_replayer.cpp
@@ -415,6 +415,10 @@ struct z3_replayer::imp {
             if (c == EOF)
                 return;
             switch (c) {
+            case 'V':
+                // version
+                next(); skip_blank(); read_string();
+                break;
             case 'R':
                 // reset
                 next();