More simplification of xxh64