quick fix to have latest version of jenkins