diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 826f87e8c..c2d7d84a3 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -166,6 +166,8 @@ foreach (header ${libz3_public_headers})
   set_property(TARGET libz3 APPEND PROPERTY
     PUBLIC_HEADER "${CMAKE_SOURCE_DIR}/src/api/${header}")
 endforeach()
+set_property(TARGET libz3 APPEND PROPERTY
+    PUBLIC_HEADER "${CMAKE_CURRENT_BINARY_DIR}/util/version.h")
 
 install(TARGETS libz3
   EXPORT Z3_EXPORTED_TARGETS
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 85b6f955c..a84cc1f00 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -7,6 +7,7 @@ endif()
 set(Z3_FULL_VERSION "\"${Z3_FULL_VERSION_STR}\"")
 configure_file(version.h.cmake.in ${CMAKE_CURRENT_BINARY_DIR}/version.h)
 
+
 z3_add_component(util
   SOURCES
     approx_nat.cpp