elf_file_t again