diff --git a/Jenkinsfile b/Jenkinsfile
index dedf80e01b..0dc1699010 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -447,7 +447,7 @@ pipeline {
                                 echo "CXXFLAGS+=-march=core2" > cmdstan/make/local
                                 echo "PRECOMPILED_HEADERS=false" >> cmdstan/make/local
                                 cd cmdstan; make clean-all; git show HEAD --stat; cd ..
-                                CXX="${CXX}" ./compare-optimizer.sh "--tests-file all.tests --num-samples=10" "--O1"
+                                CXX="${CXX}" ./compare-optimizer.sh "--tests-file all.tests --num-samples=10" "--O1" "\$(readlink -f ../bin/stanc)"
                             """
                         }