fix manual build under texinfo 5