diff --git a/Jenkinsfile b/Jenkinsfile
index 835cb2e3..be9fe8ef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
     stage('build') {
       steps {
         sh './bootstrap.sh'
-        sh './configure --prefix=/tmp/core_build'
+        sh './configure'
         sh 'make'
         sh 'make install'
       }