fix the file extension