Fix stdint.h