--- init.c
+++ init.c	1996/07/07 21:19:45
@@ -231,7 +231,7 @@
 #endif /* USE_SETGID */
 
   if ((f = fopen(rcfile, "r")) == NULL) {
-    printf(stderr, "%s: no such file or directory.", rcfile);
+    fprintf(stderr, "%s: no such file or directory.", rcfile);
     return(-1);
   }
   while (fgets(buffer, LONG_STRING, f) != NULL) {