fixed __uint64_t error