Correct uint64_t on Windows