diff --git a/jbmc/lib/java-models-library b/jbmc/lib/java-models-library
index 6b422b12109..c86885cfd2e 160000
--- a/jbmc/lib/java-models-library
+++ b/jbmc/lib/java-models-library
@@ -1 +1 @@
-Subproject commit 6b422b12109701901913742063fce89f62e2ea96
+Subproject commit c86885cfd2e8cf98947132de15bcfa3835ae3ebc
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 826f0644477..2100c47a543 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -30,20 +30,18 @@ endif()
 
 file(WRITE ${CMAKE_CURRENT_BINARY_DIR}/version.cpp.in
   "const char *CBMC_VERSION=\"@CBMC_RELEASE@ (@GIT_INFO@)\";\n")
-add_custom_target(
-  generate_version_cpp
+add_custom_command(
+  OUTPUT version.cpp
   COMMAND ${CMAKE_COMMAND}
     -D CBMC_SOURCE_DIR=${CBMC_SOURCE_DIR}
     -D CUR=${CMAKE_CURRENT_BINARY_DIR}
     -P ${CMAKE_BINARY_DIR}/version.cmake
-    )
+)
 
 add_library(util
   ${sources}
   version.cpp)
 
-add_dependencies(util generate_version_cpp)
-
 generic_includes(util)
 
 target_link_libraries(util big-int langapi)