diff --git a/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala b/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
index 07efc4e1badf0dbe651fee75ccf4236411ddfa44..84bf363cda5f8f89de161b215900e428a58de1ef 100644
--- a/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
+++ b/src/test/scala/leon/benchmark/SynthesisBenchmarks.scala
@@ -41,7 +41,8 @@ object SynthesisBenchmarks extends App {
   var nSuccessTotal, nInnapTotal, nDecompTotal, nAltTotal = 0
   var tTotal: Long = 0
 
-  forEachFileIn("testcases/synthesis/") { file => 
+  for (path <- args) {
+    val file = new File(path)
 
     val ctx = LeonContext(
       settings = Settings(