Fix the file extension.