[zerovm] patch for new version of texinfo