fix memory leak in krb5-23 format