fix release name for cmssw-mic