BUG: add typedef uint64_t for msvc