Krb5 config settings to quiet installer