build, check: changed hash type to uint64_t