VMware Player unter Ubuntu/ Linux…

…läuft nach einem apt-get update/upgrade nicht mehr und will Module kompilieren? Und das scheitert? Mit folgendem Befehl kann man den Vorgang manuell anstoßen:
sudo vmware-modconfig --console --install-all