Rename files with underscores so GitHub sees them