fixed a u64_t cast and removed calls to cmp64 functions