#829671 krb5-config: debconf seeding is not working when installing/reconfiguring the package