flexVDI gateway 3.0.1 released