Changes some file extensions so they're correct