How to use debug information in separate files with gdb · HackerTrans