To make this directory compile, replace the nlibrary directory of Matita with
it.