Use the krb5 adapter ID (2)

Martin Rex urges me to do so, and I am happy to oblige.