diff -up src/module_list.py.orig src/module_list.py --- src/module_list.py.orig 2015-04-03 15:09:20.200406141 -0300 +++ src/module_list.py 2015-04-03 15:09:39.744406890 -0300 @@ -2187,7 +2187,7 @@ if (os.path.isfile(SAGE_INC + "/cplex.h" libraries = ["stdc++", "cplex"]) ) -if is_package_installed('cbc'): +if 1: ext_modules.append( Extension("sage.numerical.backends.coin_backend", ["sage/numerical/backends/coin_backend.pyx"],