Fix building cmssw-patch releases with new scheduler.