Currently, the files are exported as per the image below. It should zip only if attachments are available, but just export the raw pdf otherwise.