- fix building with texinfo 5.x