Changed pstdint.h to use standard stdint.h if possible.