We can now install and patch 4.0.2. Get the patch file "vmware802fixlinux320.tar.gz" from
this page.
Remove VMware Player 4.0.1 using the "vmware-installer -u vmware-player" utility. Then install VMware Player 4.0.2, but don't run it. Copy the patch file to /usr/lib/vmware/modules/source, and untar it. You can delete the "patch-modules ...sh script -- you won't use it.
As root, at the /usr/lib/vmware/modules/source directory prompt, issue
for i in ./*.tar; do tar -xvf $i; done
to untar the five .tar files. Each one will extract into a new directory with "-only" as the directory name suffix. When you are finished you should have, in addition to the original five .tar files, the following new directories:
vmblock-only vmci-only vmmon-only vmnet-only vsock-only
Next, back up the original source .tar files with
for i in ./*.tar; do mv $i $i.original; done
Next, patch vmware with
patch -p1 < vmware3.2.0.patch
It should patch 3 files, with no error output.
Finally, "tar cvf" all of the files in the vxxx-only subdirectories. So, for example,
tar cvf vmblock.tar vmblock-only/*
and do this for each of the 5 vxxx-only directories.
You are done -- the modules will now build when you start VMware Player 4.0.2.