diff --git a/stp-unbundle.patch b/stp-unbundle.patch
index 5a34543..5c7a525 100644
--- a/stp-unbundle.patch
+++ b/stp-unbundle.patch
@@ -61,7 +61,7 @@
  
 -#include "cryptominisat2/Solver.h"
 -#include "cryptominisat2/SolverTypes.h"
-+#include <cmsat/Solver/Solver.h>
++#include <cmsat/Solver.h>
  
  namespace BEEV
  {
diff --git a/stp.spec b/stp.spec
index 913501c..f83e31e 100644
--- a/stp.spec
+++ b/stp.spec
@@ -28,6 +28,7 @@ Patch1:		stp-warning.patch
 
 BuildRequires:	bison
 BuildRequires:	boost-devel
+BuildRequires:  cryptominisat-devel
 BuildRequires:	flex
 BuildRequires:	time
 BuildRequires:	zlib-devel