Fix get_krb5_cache_file_name to support tgt expired