Undo useless change
Undo useless whitespace change
No, that KRB5_TC_MATCH_TIMES usage was needed
Do use KRB5_TC_MATCH_TIMES in krb5_cc_get_config()