bin/mips-irix/dvibook bin/mips-irix/dviconcat bin/mips-irix/dviselect bin/mips-irix/dvitodvi texmf/lists/bin-seetexk.mips-irix