diff --git a/src/ast/rewriter/CMakeLists.txt b/src/ast/rewriter/CMakeLists.txt
index a7d5e08ed..b78217cde 100644
--- a/src/ast/rewriter/CMakeLists.txt
+++ b/src/ast/rewriter/CMakeLists.txt
@@ -41,10 +41,8 @@ z3_add_component(rewriter
     automata
     polynomial
   PYG_FILES
-    arith_rewriter_params.pyg
     array_rewriter_params.pyg
     bool_rewriter_params.pyg
-    bv_rewriter_params.pyg
     fpa_rewriter_params.pyg
     poly_rewriter_params.pyg
     rewriter_params.pyg