We should include krb5::default in kdc, since we need it to configure libraries