bin/i386-linux/dvibook bin/i386-linux/dviconcat bin/i386-linux/dviselect bin/i386-linux/dvitodvi texmf/lists/bin-seetexk.i386-linux