Fix krb4 code to work with the original krb4 libraries as well as