Deleted a line from pstdint.h