configure: support krb5 --with-system-et