r4349: Start to fix the long-standing pain that --with-krb5 would be ignored if krb5...