soprano: enable the virtuoso backend.