- fix format string error
- fix building with texinfo 5.x
- rel 12