You are not required to have virtex in the command search path. You
can set the Rexx variable virtex (note the lowercase) to the
full path of the virtex executable. If this variable is not set, it
defaluts to virtex. This allows you to switch on the fly between
then small and the big versions of TeX. For example, use ``rxset
virtex TeX:bin/big/virtex'' to have the server use bigTeX.