VMware Workstation 7.1 in Ubuntu 10.10 Host: VMCI Sockets Problem

I had installed VMware Workstation 7.1.2 on an Ubuntu 10.10 host.  Windows XP was not performing very well in it.  I wondered if the problem was that, when I started VMware Workstation 7.1.2, it said this:

Before you can run VMware, several modules must be compiled and loaded into the running kernel.

It gave me that same message every time I started Workstation.  When I went ahead and clicked on Install, it showed me the list of things that it was doing.  Last on the list was "VMCI Sockets."  Every time, it would show green checkmarks for all the other items, but for that item I would get a red exclamation mark.  If I started Workstation by using the "sudo vmware" command, Terminal would show me a list of error messages just before starting Workstation.  A number of those messages said this:

error:  'struct sock' has no member named 'sk_sleep'

Terminal also said that all of the other "Starting VMware services" processes went off OK, but "VM communication interface socket family" failed.

A search led to the suggestion to uninstall and reinstall Workstation, but one user there reported that that didn't help, though that appeared to be because s/he was using Xen Kernel.  Another webpage offered a patch to fix it.  I downloaded the patch, navigated to my download folder (using "cd" to change directories and having set the download folder in Firefox, Edit > Preferences > General tab), and typed these commands, as suggested:

tar -xzvf [patchname]

cd vmware-7.1-ubuntu10.10-patch
sudo sh ./apply_patch.sh

I have written "[patchname]" here because the filename of the download had changed since the original webpage was written.  The first command created a folder named "vmware-7.1-ubuntu10.10-patch" and copied files into it.  The second command put me into that folder.  The third command ran the patch.  When I ran the patch in the form suggested on the webpage, I got "Permission denied."  I revised the third command to the form shown above, and that ran successfully.  When I typed "sudo vmware" now, I got a green checkmark at all items, including VMCI Sockets.  So it worked.