add the stdint.h file