Fixing issues with texinfo compilation