- make texinfo 5.1 happy
- rel 4