cmssw-patch: updated for 5.3.13.patch3