make sure we use correct extension when exporting