Why sometimes we got credential /tmp/krb5cc_<uid>_xxxx?

[Sam Hartman]

It's not a bug; it is a feature.  Whatever program you are logging in
with is making sure that each session has its own credentials cache.