Patch gcc to compile with newer versions of texinfo
Potentially problematic, but it resolves errors with newer versions of automake (...by not running automake)