Re: known-elf.awk/known-elf.h