diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index b53c382f2..a2209901c 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -35,6 +35,7 @@ Notes:
 #include "util/ref_buffer.h"
 #include "util/common_msgs.h"
 #include <memory>
+#include <numeric>
 
 namespace polynomial {
 
diff --git a/src/sat/smt/pb_solver.cpp b/src/sat/smt/pb_solver.cpp
index f7a641067..3dd7f6eee 100644
--- a/src/sat/smt/pb_solver.cpp
+++ b/src/sat/smt/pb_solver.cpp
@@ -16,7 +16,7 @@ Author:
 --*/
 
 #include <cmath>
-#include "util/mpz.h"
+#include <numeric>
 #include "sat/sat_types.h"
 #include "sat/smt/pb_solver.h"
 #include "sat/smt/euf_solver.h"
diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index 915b2845c..3cd81955c 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -29,7 +29,7 @@ Notes:
 #include "ast/rewriter/pb_rewriter_def.h"
 #include "math/simplex/sparse_matrix_def.h"
 #include "math/simplex/simplex_def.h"
-
+#include <numeric>
 
 namespace smt {