Use TEIID/hostname as default kerberos service name