makeinfo 5.x issue