Install vmware workstation player debian