diff --git a/integration-tests/perfomance-test/src/CMakeLists.txt b/integration-tests/perfomance-test/src/CMakeLists.txt
index 9cd9be514..4922130d4 100644
--- a/integration-tests/perfomance-test/src/CMakeLists.txt
+++ b/integration-tests/perfomance-test/src/CMakeLists.txt
@@ -5,7 +5,10 @@ execute_process(
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
 
-add_library(src main.c func10.c func50.c func100.c func500.c)
+
+FILE(GLOB MyCSources *.c)
+
+add_library(src ${MyCSources})
 target_include_directories(src PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
 file(GLOB_RECURSE ALL_SOURCES "*.c" "*.h")
 target_sources(src PRIVATE ${sALL_SOURCES})
diff --git a/submodules/klee b/submodules/klee
index 6a09515e9..c85ee3bf4 160000
--- a/submodules/klee
+++ b/submodules/klee
@@ -1 +1 @@
-Subproject commit 6a09515e9f9c89a789c7607ceaa8fa43c8872e7f
+Subproject commit c85ee3bf4d1261a4e5bc1b55b998cd169f8aaf60