Fix missing includes for uint64_t