vmware-workstation hacks for Gentoo