lib/krb5: krb5_get_instance does not work on Windows 7