[Olena-patches] olena-2.0-95-gcc209cfc build-aux/texi2dvi: Fix Dash incompatibility.