diff --git a/benchmarks/gabriel/input.txt b/benchmarks/gabriel/input.txt
new file mode 100644
index 00000000..d00491fd
--- /dev/null
+++ b/benchmarks/gabriel/input.txt
@@ -0,0 +1 @@
+1
diff --git a/benchmarks/gabriel/run.sh b/benchmarks/gabriel/run.sh
index 36dba94f..e226ef72 100755
--- a/benchmarks/gabriel/run.sh
+++ b/benchmarks/gabriel/run.sh
@@ -11,6 +11,6 @@ cd $BENCHDIR
 for t in *.sch; do
     echo "${t%%.sch}"
     LD_LIBRARY_PATH="$CHIBIHOME" DYLD_LIBRARY_PATH="$CHIBIHOME" \
-        $CHIBI -I"$CHIBIHOME/lib" -lchibi-prelude.scm $t
+        $CHIBI -I"$CHIBIHOME/lib" -q -lchibi-prelude.scm $t
 done
 cd -