compilers: hopefully fixed pedigree-gcc.patch so it will work around the issue on systems with texinfo >= 5.0. Resolves #143. (well, should, anyway...)