Fix compilation issue with or/buffers.h