cmssw-patch: updated for 4.1.8.patch13