/math/cryptominisat/files/
../
patch-CMakeLists.txt