ADD: missing texinfo package