diff --git a/Jenkinsfile b/Jenkinsfile
index 5fa42d5ef..770b0f37a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -11,7 +11,7 @@ pipeline {
       steps {
 	    sh 'update-alternatives --set java /usr/lib/jvm/zulu8/jre/bin/java'
 	    sh 'chmod +x scripts/inst.sh'
-            sh './scripts/inst.sh --setup --fast --remote'
+            sh './scripts/inst.sh --setup --remote'
       }
     }