Some more jenkins config updates