Fix some file extensions