diff --git a/demo/Main.hs b/demo/Main.hs
--- a/demo/Main.hs
+++ b/demo/Main.hs
@@ -1,5 +1,6 @@
 module Main where
 
+import BasePrelude
 import Control.Lens.Basic
 
 
diff --git a/record-preprocessor.cabal b/record-preprocessor.cabal
--- a/record-preprocessor.cabal
+++ b/record-preprocessor.cabal
@@ -1,7 +1,7 @@
 name:
   record-preprocessor
 version:
-  0.1.0.3
+  0.1.1
 synopsis:
   Compiler preprocessor introducing a syntactic extension for anonymous records
 description:
@@ -10,8 +10,8 @@
   the Anynonymous Records syntax.
   .
   To get a look at what syntax the preprocessor enables check out
-  <http://hackage.haskell.org/package/record-preprocessor-0.1.0.3/src/demo/Main.hs the demo> and
-  <http://hackage.haskell.org/package/record-preprocessor-0.1.0.3/src/record-preprocessor.cabal its configuration in the Cabal file>,
+  <http://hackage.haskell.org/package/record-preprocessor-0.1.0.4/src/demo/Main.hs the demo> and
+  <http://hackage.haskell.org/package/record-preprocessor-0.1.0.4/src/record-preprocessor.cabal its configuration in the Cabal file>,
   which are both bundled with this package.
 category:
   Preprocessor, Compiler, Records
@@ -59,7 +59,7 @@
     -threaded
     "-with-rtsopts=-N"
   default-extensions:
-    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, ImpredicativeTypes, LambdaCase, LiberalTypeSynonyms, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators
+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
   default-language:
     Haskell2010
   build-depends:
@@ -70,7 +70,7 @@
     conversion-text >= 1.0.0.2 && < 2,
     text == 1.*,
     -- 
-    base-prelude == 0.1.*,
+    base-prelude < 2,
     base == 4.*
 
 
@@ -84,13 +84,18 @@
     demo
   main-is:
     Main.hs
+  default-extensions:
+    Arrows, BangPatterns, ConstraintKinds, DataKinds, DefaultSignatures, DeriveDataTypeable, DeriveFoldable, DeriveFunctor, DeriveGeneric, DeriveTraversable, EmptyDataDecls, FlexibleContexts, FlexibleInstances, FunctionalDependencies, GADTs, GeneralizedNewtypeDeriving, LambdaCase, LiberalTypeSynonyms, MagicHash, MultiParamTypeClasses, MultiWayIf, NoImplicitPrelude, NoMonomorphismRestriction, OverloadedStrings, PatternGuards, ParallelListComp, QuasiQuotes, RankNTypes, RecordWildCards, ScopedTypeVariables, StandaloneDeriving, TemplateHaskell, TupleSections, TypeFamilies, TypeOperators, UnboxedTuples
   default-language:
     Haskell2010
   build-depends:
-    -- A required dependency on a library of record-types:
+    -- A required dependency on the preprocessor:
+    record-preprocessor == 0.1.*,
+    -- A required dependency on the library of record-types:
     record == 0.4.*,
     -- An optional dependency on the basic subset of the "lens" library:
-    basic-lens == 0.0.*
+    basic-lens == 0.0.*,
+    base-prelude < 2
   ghc-options:
     -- The following options enable the compiler-preprocessor
     -- for the whole project.