diff --git a/Jenkinsfile b/Jenkinsfile
index 2d324dd..b921647 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,8 @@ pipeline {
     build_licenses = "${SHARED_BUILD}/tmp/deploy/licenses"
     buildhistory = "${SHARED_BUILD}/buildhistory"
 
-    DISTO_VERSION_FILE = "${SHARED_BUILD}/conf/distro_version.inc"
+    DISTRO_VERSION_PATHNAME = "${SHARED_BUILD}/conf/distro_version.inc"
+    DISTRO_VERSION_FILE = "distro_version.inc"
     SUBMODULE_VERION_FILE = "submodule_revisions"
     AUTOREV_VERSION_FILE = "autorev_revisions.inc"
   }
@@ -86,7 +87,7 @@ pipeline {
       }
       post {
         success {
-          archiveArtifacts(artifacts: "${env.SUBMODULE_VERION_FILE}, ${env.AUTOREV_VERSION_FILE}, ${env.DISTO_VERSION_FILE}", onlyIfSuccessful: false)
+          archiveArtifacts(artifacts: "${env.SUBMODULE_VERION_FILE}, ${env.AUTOREV_VERSION_FILE}, ${env.DISTRO_VERSION_FILE}", onlyIfSuccessful: false)
         }
       }
     }
@@ -153,12 +154,13 @@ def build_version(versionParam) {
 def change_distro_version(versionString){
   println "Set the distro version to ${versionString}..."
   def versionTag = "DISTRO_VERSION = \"${versionString}\""
-  writeFile(file: "${env.DISTO_VERSION_FILE}", text: "${versionTag}")
+  writeFile(file: "${env.DISTRO_VERSION_PATHNAME}", text: "${versionTag}")
+  sh(script: "cp ${env.DISTRO_VERSION_PATHNAME} ${env.DISTRO_VERSION_FILE}")
 }
 
 def cleanup_distro_version() {
   println "cleaning repository regarding distro version..."
-  sh(script:"git clean -f ${env.DISTO_VERSION_FILE}")
+  sh(script:"git clean -f ${env.DISTRO_VERSION_PATHNAME}")
 }