Adding missing stdint.h.