fix texinfo install