Fix default file extension.