Times change, kernels change. The old VMware build method for 3.13 stopped working after 3.16. Today I upgraded my desktop’s kernel on impulse, just to try out 3.19’s new support for the Logitech T650 touchpad. So of course VMware’s module compilation failed. When it fails, all you can do is fix it.