diff --git a/misc/jenkins/compile_other_versions/job.bat b/misc/jenkins/compile_other_versions/run.job
similarity index 100%
rename from misc/jenkins/compile_other_versions/job.bat
rename to misc/jenkins/compile_other_versions/run.job