buffer_io.h: Remove unnecessary casting