Texinfo 5.x breaks the build, so use older one.