/lang/maude/files/
../
patch-src__Main__main.cc
patch-src__Mixfix__global.cc
patch-src__Mixfix__global.hh