Upgrading virtuoso libraries to newer development version