Fixes clone/branch problems in Jenkins jobs