Fix CMSSW_7_1_X to CMSSW_7_2_X forward port.