gdbserve.def   [plain text]