add krb5_get_server_rcache