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