Added support for using a non-standard location for krb5.conf.