cmssw-patch: updated for CMSSW_4_1_8_patch12