diff -up src/module_list.py.orig src/module_list.py --- src/module_list.py.orig 2014-11-18 15:28:48.952130767 -0200 +++ src/module_list.py 2014-11-18 15:28:57.040130873 -0200 @@ -2168,7 +2168,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"],