/math/vampire/files/
../
patch-Lib_Portability.hpp
patch-Lib_System.cpp
patch-Makefile