More Kerberos SSL changes from Jeffrey Altman <jaltman@columbia.edu>