Updated stream_buffer.h