fixes ZEN-15245

If KRB5CCNAME is set, we end up using the same cache file for all user principals.  This will always return the correct cache name.