add GDB symbols