update stretchy_buffer version number