Add <stdint.h>.