Add in a missing stdint.h include