Added patch for binutils & newer texinfo