fix compile error for uint64_t