Allow system credentials cache to be configured in krb5.conf