Change filenames for GitHub support