diff --git a/peregrine.cabal b/peregrine.cabal
index 857295660900175aef1cd7b8ac92c1dacbc497e0..83300de6fce896f2d6c78511c8bb8d8373f2f660 100644
--- a/peregrine.cabal
+++ b/peregrine.cabal
@@ -22,8 +22,8 @@ executable peregrine
   main-is: Main.hs
   other-modules:
   -- other-extensions:
-  build-depends:       base >=4 && <5, sbv == 7.13, parsec >= 3.1, containers, transformers,
+  build-depends:       base >=4 && <5, sbv, parsec >= 3.1, containers, transformers,
                        bytestring, mtl, stm, async, text, aeson
   hs-source-dirs:      src
   default-language:    Haskell2010
-  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N
+  ghc-options:         -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N -dynamic