reverted changes in main/stdint.h