- fix texi2html invocation