new upstream release of Virtuoso (7.0.0)