ELF(): use readelf instead of objdump