linearlogic.elf