- fix building with texinfo 5
- rel 17