Use Elf instead of Elf64; ok pedro@