accept CMSSW_7_2_DEVEL_... fix for #1113
accept CMSSW_7_2_DEVEL_... fix for #1113
accept CMSSW_7_2_DEVEL_... fix for #1113