RawConfigParser.read takes a list of filenames