Fix segfault. krb5_free_ticket does not check if it got a NULL ticket.