diff --git a/.larabot.conf b/.larabot.conf
index f13027acc5..1ef285e8ee 100644
--- a/.larabot.conf
+++ b/.larabot.conf
@@ -11,7 +11,7 @@ nightly {
     "bash bin/external-tests.sh"
     "sbt -batch scripted"
     "bash bin/build-slc-lib.sh"
-    "frontends/scalac/target/universal/stage/bin/stainless-scalac --coq frontends/benchmarks/coq/*.scala"
+    "bash frontends/scalac/target/universal/stage/bin/stainless-scalac --coq frontends/benchmarks/coq/*.scala"
   ]
 }