diff --git a/Jenkinsfile b/Jenkinsfile
index e6d7215f..f69d1031 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -61,12 +61,13 @@ pipeline {
                     usernameVariable: 'user',
                     keyFileVariable: 'identityFile'
                 )]) {
-                    remote.user = user
-                    remote.identityFile = identityFile
-                    remote.name = 'reprepro'
-                    remote.host = 'reprepro.reprepro'
-                    remote.allowAnyHosts = true
-
+                    script {
+                        remote.user = user
+                        remote.identityFile = identityFile
+                        remote.name = 'reprepro'
+                        remote.host = 'reprepro.reprepro'
+                        remote.allowAnyHosts = true
+                    }
                     sshPut([
                         remote: remote,
                         from: "$debFile",