Default export file extension.