fix texinfo build