Adapt to use new Kerberos API