However, if you:

sudo vmware-modconfig --console --install-all