Add missing <stdint.h>