Index: libcio/fprintf.c
===================================================================
--- libcio/fprintf.c	(revision 72d45452fc378431dd5b933034e8ef3fcaffff1a)
+++ libcio/fprintf.c	(revision 392c73cae2c094d4aed187bb903b3e3d4c75d6c6)
@@ -8,5 +8,5 @@
 #include "stdio.h"
 #include "stddefs.h"
-#include "varargs.h"
+#include "stdarg.h"
 
 static FILE *Stream;
@@ -17,9 +17,5 @@
 static	int	fpsub();
 
-int
-fprintf(stream, fmt, va_alist)
-FILE *stream;
-char *fmt;
-va_dcl
+int fprintf(FILE *stream, char *fmt, ...)
 {
 	register int count;
@@ -27,5 +23,5 @@
 
 	Stream = stream;
-	va_start(aptr);
+	va_start(aptr, fmt);
 	count = _dofmt(fpsub, fmt, aptr);
 	va_end(aptr);