debian/krb5.conf.invirt.mako etc