use virtuoso specified by VIRTUOSO_ROOT