added _WIN32 ifdef for stdint/inttypes header