Fixed the DEBUG switch in gdb-server.c