Workaround for conflict between gnome-shell and vmware-player

I recently got a new machine for work, with lots of fancy memory and everything. First thing to do was install a friendly operating system with gnome-shell, and set up a VM for my windows/office requirements at work. Normally I would favour Virt-Manager+kvm, but since we’re now using vmware-server (and soon vsphere hypervisor) I thought it would be better to keep compatible. Luckilly, vmware has a free player that works pretty well for my basic needs.