Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision bc1b297f15cd810ce68ce27f528b9e97ba351a1a)
+++ uspace/lib/c/include/stdio.h	(revision 7a08c7001fc1391d07dde670df09e80afa0dbc03)
@@ -158,4 +158,9 @@
 extern char *gets(char *, size_t);
 
+#include <offset.h>
+
+extern int fseek64(FILE *, off64_t, int);
+extern off64_t ftell64(FILE *);
+
 #endif