[#858] removed gsi / krb cruft which is no longer enabled