/math/gambit/files/
../
patch-gnulib.h