diff --git a/src/test/scala/leon/test/LeonTestSuite.scala b/src/test/scala/leon/test/LeonTestSuite.scala
index 9b2822faf9ec4c84e8dd4352d5355d737ae99487..c94097df5f74c5491fab9f854bcc1d11eb81df88 100644
--- a/src/test/scala/leon/test/LeonTestSuite.scala
+++ b/src/test/scala/leon/test/LeonTestSuite.scala
@@ -153,7 +153,7 @@ trait LeonTestSuite extends FunSuite with Timeouts with BeforeAndAfterEach {
   
   
   def scanFilesIn(f: File, filter: String=>Boolean = all, recursive: Boolean = false): Iterable[File] = {
-    f.listFiles().flatMap{f =>
+    Option(f.listFiles()).getOrElse(Array()).flatMap{f =>
       if (f.isDirectory && recursive) {
         scanFilesIn(f, filter, recursive)   
       } else {