fix for CMSSW_5_3_9