--- # vars file for dump_debconf_database