fix some file extensions