#ifndef lint
static char *rcsid_gdb_serv_c = "$Header$";
-#endif lint
+#endif
/************************************************************************
#include <mit-copyright.h>
#include <stdio.h>
-#include <strings.h>
+#include <string.h>
#include "gdb.h"
#include <sys/ioctl.h>
#ifdef SOLARIS
#include <sys/filio.h>
+#endif
+#ifdef POSIX
+#include <unistd.h>
#endif
/*----------------------------------------------------------