Virtuoso: upgrade to 6.1.6