ExtractFilenames.py now properly deals with multiple input files