prod.elf