Ich habe eine Lösung gefunden und eine Skriptdatei erstellt, die auf den Github-Quellen von mkucebek basiert.
Sie müssen eine Datei mit diesem Inhalt erstellen und jedes Mal ausführen, wenn sie benötigt wird:
#!/bin/bash VMWARE_VERSION=workstation-12.5.9 TMP_FOLDER=/tmp/patch-vmware rm -fdr $TMP_FOLDER mkdir -p $TMP_FOLDER cd $TMP_FOLDER git clone https://github.com/mkubecek/vmware-host-modules.git cd $TMP_FOLDER/vmware-host-modules git checkout $VMWARE_VERSION git fetch make sudo make install sudo rm /usr/lib/vmware/lib/libz.so.1/libz.so.1 sudo ln -s /lib/x86_64-linux-gnu/libz.so.1 /usr/lib/vmware/lib/libz.so.1/libz.so.1
Sudo /etc/init.d/vmware neu starten
Anschließend müssen Sie VMware Workstation nur starten, ohne Module zu erstellen.