add more runs to the workaround for the bad HLT menu

Add more runs for which the workaround for a bad HLT menu is applied.
Merge pull request #4032 from hufnagel/badhltfix2

add more runs to the workaround for the bad HLT menu