* plugins/gdb/debugger.c: