If not compiling Halide, make buffer_t.h include stdint.h to get types used.