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