namespace std {
#include <stdio.h>
typedef FILE FILE;  // this becomes std::FILE
}