diff --git a/src/tactic/fd_solver/fd_solver.cpp b/src/tactic/fd_solver/fd_solver.cpp
index acb579214..2af30b089 100644
--- a/src/tactic/fd_solver/fd_solver.cpp
+++ b/src/tactic/fd_solver/fd_solver.cpp
@@ -20,9 +20,9 @@ Notes:
 #include "tactic/fd_solver/fd_solver.h"
 #include "tactic/tactic.h"
 #include "sat/sat_solver/inc_sat_solver.h"
-#include "tactic/portfolio/enum2bv_solver.h"
-#include "tactic/portfolio/pb2bv_solver.h"
-#include "tactic/portfolio/bounded_int2bv_solver.h"
+#include "tactic/fd_solver/enum2bv_solver.h"
+#include "tactic/fd_solver/pb2bv_solver.h"
+#include "tactic/fd_solver/bounded_int2bv_solver.h"
 #include "solver/solver2tactic.h"
 #include "solver/parallel_tactic.h"
 #include "solver/parallel_params.hpp"
diff --git a/src/tactic/fd_solver/pb2bv_solver.cpp b/src/tactic/fd_solver/pb2bv_solver.cpp
index 83396408e..fd4fb8e73 100644
--- a/src/tactic/fd_solver/pb2bv_solver.cpp
+++ b/src/tactic/fd_solver/pb2bv_solver.cpp
@@ -16,6 +16,7 @@ Notes:
    
 --*/
 
+#include "util/statistics.h"
 #include "ast/ast_pp.h"
 #include "ast/rewriter/pb2bv_rewriter.h"
 #include "ast/rewriter/th_rewriter.h"