Package: xserver-xorg-video-vmware

"xserver-xorg-video-vmware" package binaries on Debian:

/usr/bin/vmwarectrl

You may install this package on Debian with apt-get install xserver-xorg-video-vmware