Fixed issues in gdb server