The source code for the vmnet module requires a patch to build on kernel 3.13. Here is the guidance (assuming you have installed and booted kernel 3.13):
#Download the third file on
this page, named ws1001.vmnet.filter.c.313.patch.zip
#Unzip it and save it in /home/username/Downloads
(You could rename the patch file to somethingsimpler.patch)
#In a root terminal, change to /usr/lib/vmware/modules/source
cd /usr/lib/vmware/modules/source
#Copy the patch file to the current directory
cp /home/username/Downloads/ws1001.vmnet.filter.c.313.patch .
#Un-tar the vmnet.tar file
tar -xvf vmnet.tar
#change to the /usr/lib/vmnet/modules/source/vmnet-only directory
cd vmnet-only
#apply the patch
patch filter.c < ../ws1001.vmnet.filter.c.313.patch
#you should not see any error
#Re-tar the vmnet source code
cd ..
tar -uvf vmnet.tar vmnet-only
#Now test it by starting VMware Player. It should notify you that the kernel modules need built, and prompt for the root password.
#Or (still at the root termnal) you can issue /usr/lib/vmware/bin/vmware-modconfig --console --install-all
If it builds the modules with no error, and launches VMware Player correctly, you can delete the vmnet-only directory
rm -r vmnet-only
NOTE: When you upgrade to VMware Player ver. 6.0.1, /usr/lib/vmware/modules/source/vmnet.tar will be replaced with the same buggy filter.c file, and the patch will need to be re-applied.