added texinfo patch to gcc