updated jenkins_build_batch