diff --git a/CMakeLists.txt b/CMakeLists.txt
index 869ca4992..6a2ed0ebd 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -35,6 +35,7 @@ set(Z3_VERSION_MAJOR 4)
 set(Z3_VERSION_MINOR 4)
 set(Z3_VERSION_PATCH 2)
 set(Z3_VERSION_TWEAK 1)
+set(Z3_FULL_VERSION 0)
 set(Z3_VERSION "${Z3_VERSION_MAJOR}.${Z3_VERSION_MINOR}.${Z3_VERSION_PATCH}.${Z3_VERSION_TWEAK}")
 message(STATUS "Z3 version ${Z3_VERSION}")