Fix stdint.h include.