Small fix in dump_hazards.py: the filenames list contained duplicates
Merge pull request #1254 from gem/fix_dump_hazards

Small fix in dump_hazards.py: the filenames list contained duplicates