Pulled latest version of stream_buffer.h (previously buffered_input.h)