Fix publishing of hex files.