diff --git a/include/710/Data/Traversable.spec b/include/710/Data/Traversable.spec
--- a/include/710/Data/Traversable.spec
+++ b/include/710/Data/Traversable.spec
@@ -1,3 +1,3 @@
 module spec Data.Traversable where
 
-Data.Traversable.sequence :: Data.Traversable.Traversable t => GHC.Base.Monad m => xs:t (m a) -> m (t {v:[a] | (len v) = (len xs)})
+Data.Traversable.sequence :: Data.Traversable.Traversable t => forall m a. GHC.Base.Monad m => xs:t (m a) -> m ({v:t a | len v = len xs})
diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
--- a/liquidhaskell.cabal
+++ b/liquidhaskell.cabal
@@ -1,5 +1,5 @@
 Name:                liquidhaskell
-Version:             0.5.0.0
+Version:             0.5.0.1
 Copyright:           2010-15 Ranjit Jhala, University of California, San Diego.
 build-type:          Simple
 Synopsis:            Liquid Types for Haskell 
@@ -157,7 +157,7 @@
                 , vector
                 , hashable
                 , unordered-containers
-                , liquid-fixpoint >= 0.3
+                , liquid-fixpoint >= 0.4
                 , aeson
                 , bytestring
                 , fingertree
diff --git a/tests/test.hs b/tests/test.hs
--- a/tests/test.hs
+++ b/tests/test.hs
@@ -277,12 +277,12 @@
 
   return $ \_elapsedTime -> do
     -- get some semblance of a hostname
-    host <- takeWhile (/='.') <$> readProcess "hostname" [] []
+    host <- takeWhile (/='.') . takeWhile (not . isSpace) <$> readProcess "hostname" [] []
     -- don't use the `time` package, major api differences between ghc 708 and 710
     time <- head . lines <$> readProcess "date" ["+%Y-%m-%dT%H-%M-%S"] []
     let dir = "tests" </> "logs" </> host ++ "-" ++ time
     let path = dir </> "summary.csv"
-    renameDirectory "tests/logs/cur" dir
+    system $ "cp -r tests/logs/cur " ++ dir
     writeFile path $ unlines
                    $ "test, time(s), result"
                    : map (\(n, t, r) -> printf "%s, %0.4f, %s" n t (show r)) summary