Delete string_buffers.h