Replaced uint64_t by __int64 for better support on windows