Vmware workstation for linux 64 bit