/math/cadical/files/
../
patch-configure