renaming files to make autocomplete happier