diff -up src/module_list.py.orig src/module_list.py
--- src/module_list.py.orig	2014-08-12 14:24:04.771986935 -0300
+++ src/module_list.py	2014-08-12 14:24:13.962987287 -0300
@@ -2158,7 +2158,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"],