Confused about how to apply add-symbol-file in gdb