diff --git a/Jenkinsfile b/Jenkinsfile
index c0a216d5b..c2d62f0fe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
     stage('Build') {
       steps {
 	    sh 'chmod +x scripts/inst.sh'
-        sh './scripts/inst.sh --setup --fast --remote'
+        sh './scripts/inst.sh --setup'
       }
     }