@ECHO OFF
SET KRB5_CONFIG=.\krb5.conf
SET KRB5CCNAME=FILE:.\krb5_cc_cache
Echo Destroying tickets
.\kdestroy