use virtuoso version from TUD