stdio_streambuf