This ghastly hack prevents CVS wars over Kerberos (which is disabled by default).