matita.conf.xml.in.dpatch