Я нашел решение и создал файл сценария на основе исходников mkucebek на github.
Вы должны создать файл с этим содержимым и запускать его каждый раз, когда это необходимо:
#!/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 restart
Затем вам просто нужно запустить VMware Workstation без сборки модулей.