DNS settings for additional servers improved.
krb5.conf back to pointing at servers.