diff --git a/.travis.yml b/.travis.yml
index 417f27dec..3dbf6a5ed 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,5 +1,4 @@
 dist: xenial
-sudo: false
 
 language: c
 
@@ -21,15 +20,15 @@ matrix:
       compiler: ": #GHC 8.2.2"
       addons: {apt: {packages: [cabal-install-2.4,ghc-8.2.2,cppcheck,hscolour], sources: [hvr-ghc]}}
 
-    - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
-      compiler: ": #GHC 8.8.1"
-      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
-    - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_js"
-      compiler: ": #GHC 8.8.1"
-      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
-    - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_c"
-      compiler: ": #GHC 8.8.1"
-      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
+#    - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="lib_doc doc"
+#      compiler: ": #GHC 8.8.1"
+#      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
+#   - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_js"
+#      compiler: ": #GHC 8.8.1"
+#      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
+#    - env: CABALVER="3.0" GHCVER="8.8.1" TESTS="test_c"
+#      compiler: ": #GHC 8.8.1"
+#      addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1,cppcheck,hscolour], sources: [hvr-ghc]}}
   fast-finish: true
 
 cache:
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 5e2fd8a38..3d347da9e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# New since last release
++ Updated to work with GHC 8.8 and cabal 3.0
+
 # New in 1.3.2
 + Documentation added to proof section
 
diff --git a/Makefile b/Makefile
index b4fa9332d..4914401e5 100644
--- a/Makefile
+++ b/Makefile
@@ -30,15 +30,15 @@ stylize:
 	./stylize.sh
 
 test_c:
-	$(CABAL) test $(ARGS) --test-options \
+	$(CABAL) v1-test $(ARGS) --test-options \
 		"$(TEST-ARGS) --rerun-update +RTS -N$(TEST-JOBS) -RTS"
 
 test_js:
-	$(CABAL) test $(ARGS) --test-options \
+	$(CABAL) v1-test $(ARGS) --test-options \
 		"$(TEST-ARGS) --node --rerun-update +RTS -N$(TEST-JOBS) -RTS"
 
 test_update:
-	$(CABAL) test $(ARGS) --test-options \
+	$(CABAL) v1-test $(ARGS) --test-options \
 		"$(TEST-ARGS) --accept +RTS -N$(TEST-JOBS) -RTS"
 
 test_clean:
diff --git a/appveyor.yml b/appveyor.yml
index 2c1d6bd49..f4afbb7dd 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -1,17 +1,17 @@
 version: 1.0.{build}
 init:
 - ps: >-
-    choco install cabal --version=2.4.1.0 --no-progress
+    choco install cabal --no-progress
 
     mkdir C:\ghc
 
-    Invoke-WebRequest "https://downloads.haskell.org/~ghc/8.4.3/ghc-8.4.3-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
+    Invoke-WebRequest "https://downloads.haskell.org/~ghc/8.8.2/ghc-8.8.2-x86_64-unknown-mingw32.tar.xz" -OutFile C:\ghc\ghc.tar.xz -UserAgent "Curl"
 
     7z x C:\ghc\ghc.tar.xz -oC:\ghc
 
     7z x C:\ghc\ghc.tar -oC:\ghc
 
-    $env:PATH="$env:PATH;c:\ghc\ghc-8.4.3\bin;$HOME\AppData\Roaming\cabal\bin"
+    $env:PATH="$env:PATH;c:\ghc\ghc-8.8.2\bin;$HOME\AppData\Roaming\cabal\bin"
 
     cabal v1-update
 
diff --git a/idris.cabal b/idris.cabal
index 8c04bad32..3cf1ab4e0 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -116,6 +116,9 @@ Extra-source-files:
                       test/**/*.c
                       test/**/*.h
                       test/**/*.in
+                      test/**/*.txt
+                      test/**/*.js
+                      test/base001/Makefile
                       test/ffi004/theOtherType
                       test/ffi004/theType
                       test/scripts/timeout
diff --git a/test/dsl002/test b/test/dsl002/test.in
similarity index 100%
rename from test/dsl002/test
rename to test/dsl002/test.in
diff --git a/test/dsl002/test014.idr b/test/dsl002/test014.idr
index 961ec1ee6..515cd9e93 100644
--- a/test/dsl002/test014.idr
+++ b/test/dsl002/test014.idr
@@ -64,6 +64,6 @@ readH fn = res (do let x = open fn Reading
                        else rputStrLn "Error")
 
 main : IO ()
-main = run (readH "test")
+main = run (readH "test.in")
 
 
diff --git a/test/effects001/test021.idr b/test/effects001/test021.idr
index 918d494d7..1774c28fd 100644
--- a/test/effects001/test021.idr
+++ b/test/effects001/test021.idr
@@ -31,7 +31,7 @@ readFileCount = readAcc []
 
 testFile : TestFileIO () ()
 testFile = do
-    Success <- open "testFile" Read
+    Success <- open "testFile.in" Read
              | (FError err) => do
                  putStrLn "Error!"
                  pure ()
diff --git a/test/effects001/testFile b/test/effects001/testFile.in
similarity index 100%
rename from test/effects001/testFile
rename to test/effects001/testFile.in
diff --git a/test/ffi011/ffi011 b/test/ffi011/ffi011.js
similarity index 100%
rename from test/ffi011/ffi011
rename to test/ffi011/ffi011.js
diff --git a/test/ffi011/run.sh b/test/ffi011/run.sh
index 69e7bc2ed..92ceda21e 100644
--- a/test/ffi011/run.sh
+++ b/test/ffi011/run.sh
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 ${IDRIS:-idris} $@ ffi011.idr --interface -o lib.js
-node ./ffi011
+node ./ffi011.js
 rm -f *.ibc lib.js
diff --git a/test/ffi012/ffi012 b/test/ffi012/ffi012.js
similarity index 100%
rename from test/ffi012/ffi012
rename to test/ffi012/ffi012.js
diff --git a/test/pkg010/expected.out b/test/pkg010/expected.out
index fb60c4205..8f794f9b0 100644
--- a/test/pkg010/expected.out
+++ b/test/pkg010/expected.out
@@ -4,28 +4,26 @@ Uncaught error: user error (wrongopts.ipkg:4:1:
   | ^
 Invalid option `-total'
 
-Usage:  ([--nobanner] | [-q|--quiet] | [--ide-mode] | [--ide-mode-socket] |
-        [--client ARG] | [--log LEVEL] | [--logging-categories CATS] |
-        [--nobasepkgs] | [--noprelude] | [--nobuiltins] | [--check] |
-        [-o|--output FILE] | [--interface] | [--typeintype] | [--total] |
-        [--partial] | [--warnpartial] | [--warnreach] | [--warnipkg] |
-        [--nocoverage] | [--errorcontext] | [--info] | [--listlogcats] |
-        [--link] | [--listlibs] | [--libdir] | [--docdir] | [--include] | [--V2]
-        | [--V1] | [-V|--V0|--verbose] | [--ibcsubdir FILE] |
-        [-i|--idrispath ARG] | [--sourcepath ARG] | [--warn] |
-        [-p|--package ARG] | [--port PORT] | [--build IPKG] | [--install IPKG] |
-        [--repl IPKG] | [--clean IPKG] | [--mkdoc IPKG] | [--installdoc IPKG] |
-        [--checkpkg IPKG] | [--testpkg IPKG] | [--indent-with INDENT] |
-        [--indent-clause INDENT] | [--bytecode ARG] | [-S|--codegenonly] |
-        [-c|--compileonly] | [--dumpdefuns ARG] | [--dumpcases ARG] |
-        [--codegen TARGET] | [--portable-codegen TARGET] | [--cg-opt ARG] |
-        [-e|--eval EXPR] | [--execute] | [--exec EXPR] | [-X|--extension EXT] |
-        [--O3] | [--O2] | [--O1] | [--O0] | [--partial-eval] |
-        [--no-partial-eval] |
-        [--optimise-nat-like-types|--optimize-nat-like-types] |
-        [--no-optimise-nat-like-types|--no-optimize-nat-like-types] |
-        [-O|--level ARG] | [--target TRIPLE] | [--cpu CPU] | [--color|--colour]
-        | [--nocolor|--nocolour] | [--consolewidth WIDTH] | [--highlight] |
-        [--no-tactic-deprecation-warnings] |
-        [--allow-capitalized-pattern-variables]) [FILES] [-v|--version]
+Usage:  [--nobanner | (-q|--quiet) | --ide-mode | --ide-mode-socket | 
+          --client ARG | --log LEVEL | --logging-categories CATS | 
+          --nobasepkgs | --noprelude | --nobuiltins | --check | 
+          (-o|--output FILE) | --interface | --typeintype | --total | 
+          --partial | --warnpartial | --warnreach | --warnipkg | --nocoverage | 
+          --errorcontext | --info | --listlogcats | --link | --listlibs | 
+          --libdir | --docdir | --include | --V2 | --V1 | (-V|--V0|--verbose) | 
+          --ibcsubdir FILE | (-i|--idrispath ARG) | --sourcepath ARG | --warn | 
+          (-p|--package ARG) | --port PORT | --build IPKG | --install IPKG | 
+          --repl IPKG | --clean IPKG | --mkdoc IPKG | --installdoc IPKG | 
+          --checkpkg IPKG | --testpkg IPKG | --indent-with INDENT | 
+          --indent-clause INDENT | --bytecode ARG | (-S|--codegenonly) | 
+          (-c|--compileonly) | --dumpdefuns ARG | --dumpcases ARG | 
+          --codegen TARGET | --portable-codegen TARGET | --cg-opt ARG | 
+          (-e|--eval EXPR) | --execute | --exec EXPR | (-X|--extension EXT) | 
+          --O3 | --O2 | --O1 | --O0 | --partial-eval | --no-partial-eval | 
+          (--optimise-nat-like-types|--optimize-nat-like-types) | 
+          (--no-optimise-nat-like-types|--no-optimize-nat-like-types) | 
+          (-O|--level ARG) | --target TRIPLE | --cpu CPU | (--color|--colour) | 
+          (--nocolor|--nocolour) | --consolewidth WIDTH | --highlight | 
+          --no-tactic-deprecation-warnings | 
+          --allow-capitalized-pattern-variables] [FILES] [-v|--version]
 )
diff --git a/test/st001/test001.idr b/test/st001/test001.idr
index 31c2ff1c9..ae451ca1a 100644
--- a/test/st001/test001.idr
+++ b/test/st001/test001.idr
@@ -40,7 +40,7 @@ readFileCount fh cnt =
 
 testFile : (ConsoleIO m, File m) => ST m () []
 testFile = with ST do 
-              Right fileHandle <- open "testFile" Read 
+              Right fileHandle <- open "testFile.in" Read
                     | Left ferr => do putStrLn (show ferr)
                                       pure ()
               count <- new 0
diff --git a/test/st001/testFile b/test/st001/testFile.in
similarity index 100%
rename from test/st001/testFile
rename to test/st001/testFile.in
diff --git a/test/st002/test002.idr b/test/st002/test002.idr
index b2745869f..3f6889378 100644
--- a/test/st002/test002.idr
+++ b/test/st002/test002.idr
@@ -40,7 +40,7 @@ readFileCount fh cnt =
 
 testFile : (ConsoleIO m, File m) => ST m () []
 testFile = with ST do
-              Right fileHandle <- open "testFile" Read 
+              Right fileHandle <- open "testFile.in" Read
                     | Left ferr => do putStrLn (show ferr)
                                       pure ()
               count <- new 0
diff --git a/test/st002/testFile b/test/st002/testFile.in
similarity index 100%
rename from test/st002/testFile
rename to test/st002/testFile.in
diff --git a/test/st003/test003.idr b/test/st003/test003.idr
index 9e194c9c4..275ed6c7d 100644
--- a/test/st003/test003.idr
+++ b/test/st003/test003.idr
@@ -7,7 +7,7 @@ import Control.ST.ImplicitCall
 
 testFile : (ConsoleIO m, File m) => ST m () []
 testFile = with ST do
-              Right str <- readFile "testFile" 
+              Right str <- readFile "testFile.in"
                   | Left ferr => do putStrLn (show ferr)
                                     pure ()
               putStrLn str 
diff --git a/test/st003/testFile b/test/st003/testFile.in
similarity index 100%
rename from test/st003/testFile
rename to test/st003/testFile.in