Added fix for newer versions of texinfo