for mic always build full release, we do not have cmssw-mic-patch-tool-conf