increase buffer size in std::streambuf for faster i/o