diff --git a/QuickCheck.cabal b/QuickCheck.cabal
--- a/QuickCheck.cabal
+++ b/QuickCheck.cabal
@@ -1,5 +1,5 @@
 name:		QuickCheck
-version:	1.2.0.0
+version:	1.2.0.1
 license:	BSD3
 license-file:	LICENSE
 author:		Koen Classen and John Hughes
@@ -20,7 +20,8 @@
 build-type: Simple
 cabal-version: >=1.2
 
-flag split-base
+flag base3
+flag base4
 
 library
   exposed-modules:
@@ -32,8 +33,12 @@
           Test.QuickCheck.Poly,
           Test.QuickCheck.Utils,
           Test.QuickCheck
-  if flag(split-base)
+  if flag(base3)
     build-depends:	base >= 3 && < 4, random
-  else
-    build-depends:	base < 3
+  else 
+    if flag(base4)
+      build-depends:      base >= 4 && < 5, random
+      cpp-options: -DBASE4=1
+    else
+      build-depends:	base < 3
   extensions:	CPP
diff --git a/prologue.txt b/prologue.txt
deleted file mode 100644
--- a/prologue.txt
+++ /dev/null
@@ -1,8 +0,0 @@
-A library for testing Haskell programs automatically. The programmer provides a
-specification of the program, in the form of properties which functions should
-satisfy, and QuickCheck then tests that the properties hold in a large number of
-randomly generated cases. Specifications are expressed in Haskell, using
-combinators defined in the QuickCheck library. QuickCheck provides combinators
-to define properties, observe the distribution of test data, and define test
-data generators. For more information, please see:
-<http://www.math.chalmers.se/~rjmh/QuickCheck/>.