Fixes krb5 formats for issue #495.