Shorter file extension.