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