…
..
patch-backend__include__ICore.hh
patch-backends__src__unix__Makefile.in
patch-configure
patch-frontend__common__src__Makefile.in
patch-System.cc