$(HOME)
.matita nobody
@DBHOST@ helm matita
.matita/getter/cache cic:/matita/ file://.matita/xml/matita/ cic:/ file:///does_not_exists/ legacy