objdump 2.24 has bug