bin/hppa-hpux/dvibook bin/hppa-hpux/dviconcat bin/hppa-hpux/dviselect bin/hppa-hpux/dvitodvi texmf/lists/bin-seetexk.hppa-hpux