ELF64 binary generation