ports/math/vampire/files
..
patch-CMakeLists.txt