add missing <stdint.h> include