diff -Nur src.orig/src/klibc_compat.c src/src/klibc_compat.c
--- src.orig/src/klibc_compat.c	2008-03-12 01:56:14.000000000 +0100
+++ src/src/klibc_compat.c	2008-09-15 18:59:31.000000000 +0200
@@ -18,10 +18,6 @@
     return (errno != 0 && errno != EOF);
 }
 
-int fflush(FILE *stream) {
-    return 0;
-}
-
 int ungetc(int c, FILE *stream) {
     if (fseek(stream, -1, SEEK_CUR) < 0)
 	return EOF;