virtuoso: update to 6.1.7.