gcc: Added patch for texinfo 5