diff --git a/Data/SBV/BitVectors/Data.hs b/Data/SBV/BitVectors/Data.hs
--- a/Data/SBV/BitVectors/Data.hs
+++ b/Data/SBV/BitVectors/Data.hs
@@ -47,7 +47,7 @@
 import qualified Data.Map    as Map
 import qualified Data.IntMap as IMap
 
-import Test.QuickCheck hiding(Result)
+import Test.QuickCheck hiding(Result, output)
 
 import System.IO.Unsafe -- see the note at the bottom of the file
 
diff --git a/sbv.cabal b/sbv.cabal
--- a/sbv.cabal
+++ b/sbv.cabal
@@ -1,5 +1,5 @@
 Name:          sbv
-Version:       0.9.1
+Version:       0.9.2
 Category:      Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math
 Synopsis:      Symbolic Bit Vectors: Prove bit-precise program properties using SMT solvers.
 Description:   Adds support for symbolic bit vectors, allowing formal models of bit-precise
@@ -25,19 +25,18 @@
 Library
   ghc-options     : -Wall
   ghc-prof-options: -auto-all -caf-all
-  Build-Depends   : base >= 3 && < 5
-                  , deepseq >= 1.1.0.2
-                  , process >= 1.0.1
-                  , containers >= 0.2.0
-                  , QuickCheck >= 2.1.0.3
-                  , strict-concurrency >= 0.2.3
-                  , haskell98
-                  , old-time >= 1.0.0.2
-                  , mtl >= 1.1.0.2
-                  , array >= 0.2.0.0
-                  , HUnit >= 1.2.2.3
-                  , directory >= 1.0.1.1
-                  , filepath >= 1.1.0.4
+  Build-Depends   : base                >= 3 && < 5
+                  , deepseq             >= 1.1.0.2
+                  , process             >= 1.0.1.3
+                  , containers          >= 0.3.0.0
+                  , QuickCheck          >= 2.4.0.1
+                  , strict-concurrency  >= 0.2.4.1
+                  , old-time            >= 1.0.0.5
+                  , mtl                 >= 2.0.1.0
+                  , array               >= 0.3.0.1
+                  , HUnit               >= 1.2.2.3
+                  , directory           >= 1.0.1.1
+                  , filepath            >= 1.1.0.4
   Exposed-modules : Data.SBV
                   , Data.SBV.Internals
                   , Data.SBV.Examples.BitPrecise.BitTricks