fix a position to include stdint.h