Allow users to specify their own configuration file ~/.krb5/config