Speed up objdump when displaying disassembly mixed with line number and source code...