diff --git a/Jenkinsfile b/Jenkinsfile
index 9ba2aa4..6165d83 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ pipeline {
         }
         stage('Create a setup file...') {
             steps {
-                sh 'make selfex VERBOSE=1'
+                sh '. .profile && make selfex VERBOSE=1'
             }
         }
         stage('Test installation...') {