When I run vmplayer, it detects that the kernel has changed, and as usual prompts compile and load the required modules. However, it never gets any further. When you choose install, it just quits silently with no error or any further action. What should happen is that the VMWare Kernel Module Updater should run. It doesn't.

Please note, this is not the same as the question answered here, What is the path to the kernel headers so I can install vmware?, which is due to the proper header files not being where they need to be. Mine never gets this far, and besides, I made sure I have all the latest header files for my 3.8.0-19-generic kernel.