diff --git a/Jenkinsfile b/Jenkinsfile
index 1286c2f7d096dac7eb342db734c424ff586f67c1..08e275691d52faf36304b595f7e31523ad2b46d7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -47,7 +47,7 @@ pipeline {
           sh '${BASE_DIR}/run-benchmark.sh ${KEYSTORE} ${UPDATE_SITE_URL}'
           sh 'echo before'
           script {
-             def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: ${KEYSTORE}, allowAnyHosts: true]
+             def remote = [name: 'repo.se.internal', host: 'repo.se.internal', user: 'repo', identityFile: '${KEYSTORE}', allowAnyHosts: true]
              sshGet remote: remote, from: 'all-results.json', into: '.'
           }
           sh 'echo after'