Both krb5 and the proxy are BSD, so license alike