diff -up src/module_list.py.orig src/module_list.py
--- src/module_list.py.orig	2015-04-03 15:11:09.304410319 -0300
+++ src/module_list.py	2015-04-03 15:11:18.304410664 -0300
@@ -2196,7 +2196,7 @@ if 1:
         )
 
 
-if is_package_installed('cryptominisat'):
+if 1:
     ext_modules.extend([
         Extension("sage.sat.solvers.cryptominisat.cryptominisat",
                   ["sage/sat/solvers/cryptominisat/cryptominisat.pyx"],