Texinfo 4.8 may be needed.