Update lib/virtuoso_wrapper.php