Use gdb to debug