diff --git a/idris.cabal b/idris.cabal
index 0016002fb..6fdf75ce6 100644
--- a/idris.cabal
+++ b/idris.cabal
@@ -465,6 +465,10 @@ Extra-source-files:
                        test/interactive007/run
                        test/interactive007/input
                        test/interactive007/expected
+                       test/interactive008/run
+                       test/interactive008/input
+                       test/interactive008/*.idr
+                       test/interactive008/expected
 
                        test/io001/run
                        test/io001/*.idr