If you install it, or install the upgrade from 4.0.2, the vmnet module will fail to build.
Follow the instruction on reply #1
here.
Do this in the /usr/lib/vmware/modules/sources directory, as root, and of course we don't need "sudo" here.

Tested on two 64-bit siduction systems -- works correctly as stated.