- fix building with texinfo 5.x
- rel 3