diff --git a/Seqaid/Demo.hs b/Seqaid/Demo.hs
--- a/Seqaid/Demo.hs
+++ b/Seqaid/Demo.hs
@@ -23,7 +23,8 @@
   import System.Directory
   import System.Process
 
-  leaky_version = "0.1.0.3"
+  leaky_version = "0.1.0.4"
+--leaky_version = "0.1.0.3"
 --leaky_version = "0.1.0.0"
 
   main = do
diff --git a/seqaid.cabal b/seqaid.cabal
--- a/seqaid.cabal
+++ b/seqaid.cabal
@@ -1,6 +1,6 @@
 
 name:                seqaid
-version:             0.1.3
+version:             0.1.4
 synopsis:            Dynamic strictness control, including space leak repair
 description:         Seqaid is a GHC plugin for non-invasive auto-instrumentation of dynamic strictness (and parallelism) control, shortly to include optimisation for automated space leak relief using minimal strictification. [The optimiser is still in development however.]
                      .
@@ -119,36 +119,37 @@
 
   build-depends:
 
-      base < 5
+      base == 4.*
 
     -- GHC plugin stuff:
-    , ghc >= 7.4
-    , syb
+    , ghc >= 7.4 && < 7.9
+    , syb <= 0.4.2
 
     -- Not used in Core.hs plugin part anymore; but there may
     -- be GHC API code coming in Seqaid.TH that uses GHC.Paths.
---  , ghc-paths
+--  , ghc-paths <= 0.1.0.9
 
     -- used to try to bring types into scope that are needed
     -- for CoreM-level (Simplifier) injections; works except
     -- for polymorphic types such as [a]. Now looking to extend
     -- the TH code to USE the GHC API, which I didn't realise
     -- was possible but see modulespec package...
-    , template-haskell
-    , modulespection
-    , th-expand-syns
+    , template-haskell <= 2.9.0.0
+--  , template-haskell
+    , modulespection <= 0.1.2.1
+    , th-expand-syns <= 0.3.0.4
 
     -- low-level forcing libraries
-    , deepseq-bounded
+    , deepseq-bounded <= 0.5.3
 
     -- at least for IntMap
-    , containers
+    , containers <= 0.5.5.1
     -- or would regex-posix be better?
-    , regex-pcre
+    , regex-pcre <= 0.94.4
     -- to use regex API
-    , array
+    , array <= 0.5.0.0
     -- ended up wanting this for State, for a SYB everywhereM traversal
-    , mtl
+    , mtl <= 2.1.3.1
 
     -- In the end (although it's already a sub-dep), seqaid did end up
     -- depending directly on SOP, since now there's a splice in Seqaid.TH
@@ -157,11 +158,11 @@
     -- decls are put there by seqaidpp [indeed that was the whole reason
     -- I finally crumbed and reached for a preprocessor!] -- that's
     -- pre-TH, so pre our ability to know whether it's a synonym or not...
---  , generics-sop
+--  , generics-sop <= 0.1.0.4
 
   if flag(SEQABLE_ONLY)
     build-depends:
-        generics-sop
+        generics-sop <= 0.1.0.4
 
   if ! flag(DEMO_MODE)
     build-depends:
@@ -172,17 +173,17 @@
       --   primitive  : 10 modules (hashables)
       --   vector     : 19 modules (hashables)
       -- Ouch! (this only really matters for sandbox builds)
-        hashtables
+        hashtables <= 1.2.0.1
       -- Need to include this anyway, since this is where "hash" function
       -- comes from (and hashtables doesn't export it).
       -- For building IntMap or HashTable keys from unique strings.
-      , hashable
+      , hashable <= 1.2.3.0
 
     -- Useful in debugging...
---  , sai-shape-syb
+--  , sai-shape-syb <= 0.3.0
     -- for debugging only (though deepseq-bounded re-exports these anyhow)
---  , deepseq-generics
---  , deepseq
+--  , deepseq-generics <= 0.1.1.2
+--  , deepseq <= 1.3.0.2
 
   ghc-options: -optP-Wundef -fno-warn-overlapping-patterns
   ghc-options:                  -funbox-strict-fields -fwarn-tabs
@@ -260,11 +261,11 @@
 --other-modules:
 --other-extensions:
   build-depends:
-      base < 5
---  , seqaid
-    , temporary
-    , directory
-    , process
+      base == 4.*
+--  , seqaid == 0.1.4
+    , temporary <= 1.2.0.2
+    , directory <= 1.2.1.0
+    , process <= 1.2.0.0
   ghc-options:                  -funbox-strict-fields -fwarn-tabs -threaded
 --ghc-options:        -Wall -O2 -funbox-strict-fields -fwarn-tabs -threaded
 
@@ -292,13 +293,13 @@
   hs-source-dirs:     .
   main-is:            Seqaid/Prepro.hs
   build-depends:
-      base < 5
-    , regex-base
-    , regex-pcre
+      base == 4.*
+    , regex-base <= 0.93.2
+    , regex-pcre <= 0.94.4
 -- (process may still be uncommented b/c using to debug...)
-    , process
-    , directory
-    , Cabal
+    , process <= 1.2.0.0
+    , directory <= 1.2.1.0
+    , Cabal <= 1.18.1.3
 --ghc-options:
   default-language:   Haskell2010
   ghc-options: -pgmP cpphs -optP --cpp