Index: uspace/lib/libc/include/stdio.h
===================================================================
--- uspace/lib/libc/include/stdio.h	(revision 63088cc191f35da85cac7fde793d96d9c3a51615)
+++ uspace/lib/libc/include/stdio.h	(revision f58321c4042bfd9cc85a70809296594c96a72565)
@@ -64,4 +64,6 @@
 } FILE;
 
+extern FILE *stdin, *stdout, *stderr;
+
 extern int getchar(void);
 
@@ -71,5 +73,5 @@
 extern int printf(const char *, ...);
 extern int asprintf(char **, const char *, ...);
-extern int sprintf(char *, const char *fmt, ...);
+extern int sprintf(char *, const char *, ...);
 extern int snprintf(char *, size_t , const char *, ...);
 
@@ -77,6 +79,4 @@
 extern int vsprintf(char *, const char *, va_list);
 extern int vsnprintf(char *, size_t, const char *, va_list);
-
-#define fprintf(f, fmt, ...) printf(fmt, ##__VA_ARGS__)
 
 extern int rename(const char *, const char *);
@@ -90,7 +90,10 @@
 extern void clearerr(FILE *);
 
-extern int fgetc(FILE *);;
+extern int fgetc(FILE *);
 extern int fputc(int, FILE *);
 extern int fputs(const char *, FILE *);
+
+extern int fprintf(FILE *, const char *, ...);
+extern int vfprintf(FILE *, const char *, va_list);
 
 #define getc fgetc