diff --git a/rlwe-challenges/Crypto/RLWE/Challenges/Verify.hs b/rlwe-challenges/Crypto/RLWE/Challenges/Verify.hs
index 699dff4a..b7341835 100644
--- a/rlwe-challenges/Crypto/RLWE/Challenges/Verify.hs
+++ b/rlwe-challenges/Crypto/RLWE/Challenges/Verify.hs
@@ -66,7 +66,7 @@ import Crypto.Random.DRBG
 
 import           Control.Applicative
 import           Control.Monad.Except hiding (lift)
-import           Control.Monad.Random
+import           Control.Monad.Random hiding (lift)
 import qualified Data.ByteString.Lazy as BS
 import           Data.Int
 import           Data.List            (nub)
diff --git a/rlwe-challenges/rlwe-challenges.cabal b/rlwe-challenges/rlwe-challenges.cabal
index 848aff85..423c479d 100644
--- a/rlwe-challenges/rlwe-challenges.cabal
+++ b/rlwe-challenges/rlwe-challenges.cabal
@@ -85,7 +85,7 @@ executable rlwe-challenges
   main-is:          RLWEChallengesMain.hs
   ghc-options:      -main-is RLWEChallengesMain
 
-  ghc-options: -threaded -rtsopts -O2 -auto-all -caf-all -fno-warn-partial-type-signatures
+  ghc-options: -threaded -rtsopts -O2 -fno-warn-partial-type-signatures
 
   build-depends: ansi-terminal,
                  base >= 4.9 && < 5,