chore, remove TEXI2DVI redefinitions