added gdb info to linux instr