workstation 8.0.2 ubuntu 12.04