Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision bc1b297f15cd810ce68ce27f528b9e97ba351a1a)
+++ uspace/lib/c/include/stdio.h	(revision b2e121ad525328882607c97cdba1a9ded6137d13)
@@ -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