diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp
index ef7d6aff8..7aa39b99a 100644
--- a/src/smt/theory_pb.cpp
+++ b/src/smt/theory_pb.cpp
@@ -25,6 +25,14 @@ Notes:
 #include "uint_set.h"
 #include "smt_model_generator.h"
 #include "pb_rewriter_def.h"
+#include "sparse_matrix_def.h"
+#include "simplex_def.h"
+
+namespace simplex {
+template class simplex<mpq_ext>;
+template class sparse_matrix<mpq_ext>;
+};
+
 
 namespace smt {