Use FILE* instead of _iobuf*, just like the original core.stdc.stdio did.