Now using virtuoso stable7; removed some setup not needed for virtuso