/usr/share/matita/ma/
/usr/share/matita/xml/
/usr/share/matita/metadata.db