Use thirdparty stdint.h for Visual Studio