don't use /tmp/krb5cc_* for ticket cache.