*/
#ifndef lint
-static char rcsid[] = "$Id: pppstats.c,v 1.16 1996/09/14 05:13:25 paulus Exp $";
+static char rcsid[] = "$Id: pppstats.c,v 1.17 1996/09/26 06:16:51 paulus Exp $";
#endif
#include <stdio.h>
char *progname;
char *interface;
-#if defined(SUNOS4)
+#if defined(SUNOS4) || defined(ULTRIX)
extern int optind;
extern char *optarg;
#endif