Added <stdint.h> include for Windows