fix typo, add stdint.h