Added support for the KrbServiceName option, which can be used to set the name