krb5support32.def