This is partially due to a failure to duplicate code changes made to
libkrb4... we'll probably end up re-syncing the relevant code, which
should fix this problem.

---Tom