Support newer versions of objdump