new upstream release of Virtuoso (6.1.7)