How are people handling krb5 auth with CVS and also getting tokens for gserver connections (GSSAPI/krb5)?