minix3/lib/libexec/exec_elf.o