Revert "krb5: Use Heimdal DSO names"
This is incorrect.
This reverts commit 5f8493bbf479922ee027e2ee7dc733f29f66dd6d.