/usr/bin
/usr/share/matita/