KDC should work now, but krb524d is still broken.