Add "elfzip" target to make which creates a zip of all elf files, as mapzip does...