diff -up sage-5.8/spkg/build/sage-5.8/module_list.py.orig sage-5.8/spkg/build/sage-5.8/module_list.py
--- sage-5.8/spkg/build/sage-5.8/module_list.py.orig	2013-03-20 12:35:59.851109864 -0300
+++ sage-5.8/spkg/build/sage-5.8/module_list.py	2013-03-20 12:36:15.993110482 -0300
@@ -2039,16 +2039,16 @@ if is_package_installed('cbc'):
         )
 
 
-if is_package_installed('cryptominisat'):
+if 1:
     ext_modules.extend([
         Extension("sage.sat.solvers.cryptominisat.cryptominisat",
                   ["sage/sat/solvers/cryptominisat/cryptominisat.pyx"],
-                  include_dirs = [SAGE_INC, SAGE_INC+"/cmsat"],
+                  include_dirs = [SAGE_INC, SAGE_INC+"cmsat"],
                   language = "c++",
                   libraries = ['cryptominisat', 'z']),
         Extension("sage.sat.solvers.cryptominisat.solverconf",
                   ["sage/sat/solvers/cryptominisat/solverconf.pyx", "sage/sat/solvers/cryptominisat/solverconf_helper.cpp"],
-                  include_dirs = [SAGE_INC, SAGE_INC+"/cmsat"],
+                  include_dirs = [SAGE_INC, SAGE_INC+"cmsat"],
                   language = "c++",
                   libraries = ['cryptominisat', 'z'])
         ])