diff -up src/module_list.py.orig src/module_list.py
--- src/module_list.py.orig	2014-11-18 15:30:01.952131730 -0200
+++ src/module_list.py	2014-11-18 15:30:08.968131823 -0200
@@ -2177,7 +2177,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"],