bin/alpha-linux/dvibook bin/alpha-linux/dviconcat bin/alpha-linux/dviselect bin/alpha-linux/dvitodvi new-list/bin-seetexk.alpha-linux