Make it work today

Make it work with today's ArchLinux, i.e. texinfo 5.2