new virtuoso version solves a bug in forthcoming code
requirement updates. Also add FuXi