added stdint.h on windows