../../texmf-dist/scripts/dviinfox/dviinfox.pl