updated virtuoso driver, and some small modifs