gettime: use proper uint64_t types where needed