add-symbol-file command of GDB