diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -7,4 +7,4 @@
 -- Portability :  portable
 
 import Distribution.Simple
-main = defaultMainWithHooks autoconfUserHooks
+main = defaultMain
diff --git a/cryptol.cabal b/cryptol.cabal
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -1,5 +1,5 @@
 Name:                cryptol
-Version:             2.2.1
+Version:             2.2.2
 Synopsis:            Cryptol: The Language of Cryptography
 Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
 License:             BSD3
@@ -11,7 +11,7 @@
 Copyright:           2013-2015 Galois Inc.
 Category:            Language
 Build-type:          Simple
-Cabal-version:       >= 1.18
+Cabal-version:       >= 1.20
 
 data-files:          *.cry
 data-dir:            lib
@@ -23,7 +23,7 @@
 source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
-  tag:      v2.2.1
+  tag:      v2.2.2
 
 flag static
   default: False
@@ -56,7 +56,7 @@
                        process         >= 1.2,
                        QuickCheck      >= 2.7,
                        random          >= 1.0.1,
-                       sbv             >= 4.2,
+                       sbv             >= 4.2 && < 4.3,
                        smtLib          >= 1.0.7,
                        syb             >= 0.4,
                        text            >= 1.1,