hopefully build with newer texinfo now?