diff --git a/pkgs/applications/science/logic/monosat/default.nix b/pkgs/applications/science/logic/monosat/default.nix
index 5e624a1853d..54bedc7c5e9 100644
--- a/pkgs/applications/science/logic/monosat/default.nix
+++ b/pkgs/applications/science/logic/monosat/default.nix
@@ -50,15 +50,18 @@ let
 
     propagatedBuildInputs = [ core cython ];
 
+    # This tells setup.py to use cython
+    MONOSAT_CYTHON = true;
+
     # The relative paths here don't make sense for our Nix build
     # Also, let's use cython since it should produce faster bindings
     # TODO: do we want to just reference the core monosat library rather than copying the
     # shared lib? The current setup.py copies the .dylib/.so...
     postPatch = ''
+
       substituteInPlace setup.py \
         --replace '../../../../libmonosat.dylib' '${core}/lib/libmonosat.dylib' \
-        --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so' \
-        --replace 'use_cython=False' 'use_cython=True'
+        --replace '../../../../libmonosat.so'  '${core}/lib/libmonosat.so'
     '';
   };
 in core
\ No newline at end of file