No longer need to test for xdr_uint64_t -- we've got it ourselves