elf-format: revisited