Updated buffered_input.h to same version as in string_buffer