change filenames to match our convention