ELF.objdump(): use IDA-like notations