How to remove open-vm-tools-dkms from Debian 9 (Stretch)