diff --git a/contrib/cmake/src/ast/fpa/CMakeLists.txt b/contrib/cmake/src/ast/fpa/CMakeLists.txt
index 12298b573..7369a9b3d 100644
--- a/contrib/cmake/src/ast/fpa/CMakeLists.txt
+++ b/contrib/cmake/src/ast/fpa/CMakeLists.txt
@@ -1,6 +1,7 @@
 z3_add_component(fpa
   SOURCES
     fpa2bv_converter.cpp
+    fpa2bv_rewriter.cpp
   COMPONENT_DEPENDENCIES
     ast
     simplifier
diff --git a/contrib/cmake/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt
index b6166b3f8..f504760e0 100644
--- a/contrib/cmake/src/test/CMakeLists.txt
+++ b/contrib/cmake/src/test/CMakeLists.txt
@@ -61,6 +61,7 @@ add_executable(test-z3
   "${CMAKE_CURRENT_BINARY_DIR}/mem_initializer.cpp"
   memory.cpp
   model2expr.cpp
+  model_evaluator.cpp
   model_retrieval.cpp
   mpbq.cpp
   mpf.cpp