pstdint.h update