Does the code fail if you dpkg-reconfigure and tell krb5-config that you are using DNS? My view is that the authoritative state for whether you are using DNS (or more precisely whether you want your kdcs in krb5.conf) lives in debconf and if you change that state, you should run dpkg-reconfigure.
--Sam -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org