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