Add include of stdint.h