Fix dupefilenames.py.