bump virtuoso fixes a test failure