add customized stdint.h