message: Fix issue with stdio.h bits file not having FILE defined
diff: #define EOF (-1)
  #define BUFSIZ 1024
  +typedef struct FILE FILE;
  +
  int fprintf(FILE * stream, const char * fmt, ...);
  int printf(const char * fmt, ...);
  int snprintf(char *s, size_t n, const char * fmt, ...);
  