Work around removal of Kerberos ticket

Instead of putting tickets in the default caches (which are removed when you
logout), put them in the global cache (by clearing KRB5CCNAME). Moreover, don't
require using the directory before getting a new ticket.