for some reason uint64_t is defined on this machine