diff --git a/ons-hs.cabal b/ons-hs.cabal
index 8635101..c693f4c 100644
--- a/ons-hs.cabal
+++ b/ons-hs.cabal
@@ -38,7 +38,7 @@ executable ons-hs-solver
   main-is:             FoSolver.hs
   build-depends:       base
                      , ons-hs
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -O2
+  ghc-options:         -O2
   default-language:    Haskell2010
 
 executable ons-hs-lstar
@@ -49,7 +49,7 @@ executable ons-hs-lstar
                      , ons-hs
   other-modules:       ExampleAutomata
                      , IO
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -O2
+  ghc-options:         -O2
   default-language:    Haskell2010
 
 executable ons-hs-minimise
@@ -60,7 +60,7 @@ executable ons-hs-minimise
                      , ons-hs
   other-modules:       ExampleAutomata
                      , IO
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -O2
+  ghc-options:         -O2
   default-language:    Haskell2010
 
 benchmark ons-hs-bench
@@ -71,7 +71,7 @@ benchmark ons-hs-bench
                      , criterion
                      , deepseq
                      , ons-hs
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N -O2
+  ghc-options:         -O2
   default-language:    Haskell2010
 
 test-suite ons-hs-test
@@ -80,7 +80,6 @@ test-suite ons-hs-test
   main-is:             Spec.hs
   build-depends:       base
                      , ons-hs
-  ghc-options:         -threaded -rtsopts -with-rtsopts=-N
   default-language:    Haskell2010
 
 source-repository head