install workstation 10 on Ubuntu