It still doesn't work. It doesn't compile, but it's able to stop the VMware services.
2013-06-22T10:03:26.272+01:00| vthread-3| I120: Log for VMware Workstation pid=2747 version=9.0.2 build=build-1031769 option=Release
2013-06-22T10:03:26.272+01:00| vthread-3| I120: The process is 64-bit.
2013-06-22T10:03:26.272+01:00| vthread-3| I120: Host codepage=UTF-8 encoding=UTF-8
2013-06-22T10:03:26.272+01:00| vthread-3| I120: Host is Linux 3.8.0-25-generic Linux Mint 15 Olivia
2013-06-22T10:03:26.271+01:00| vthread-3| I120: Msg_Reset:
2013-06-22T10:03:26.271+01:00| vthread-3| I120: [msg.dictionary.load.openFailed] Cannot open file "/usr/lib/vmware/settings": Ingen sådan fil eller filkatalog.
2013-06-22T10:03:26.271+01:00| vthread-3| I120: ----------------------------------------
2013-06-22T10:03:26.271+01:00| vthread-3| I120: PREF Optional preferences file not found at /usr/lib/vmware/settings. Using default values.
2013-06-22T10:03:26.272+01:00| vthread-3| I120: Msg_Reset:
2013-06-22T10:03:26.272+01:00| vthread-3| I120: [msg.dictionary.load.openFailed] Cannot open file "/home/johan/.vmware/config": Ingen sådan fil eller filkatalog.
2013-06-22T10:03:26.272+01:00| vthread-3| I120: ----------------------------------------
2013-06-22T10:03:26.272+01:00| vthread-3| I120: PREF Optional preferences file not found at /home/johan/.vmware/config. Using default values.
2013-06-22T10:03:26.272+01:00| vthread-3| W110: Logging to /tmp/vmware-root/vmware-modconfig-2747.log
2013-06-22T10:03:26.299+01:00| vthread-3| I120: Reading in info for the vmmon module.
2013-06-22T10:03:26.299+01:00| vthread-3| I120: Reading in info for the vmnet module.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Reading in info for the vmblock module.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Reading in info for the vmci module.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Reading in info for the vsock module.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Setting vsock to depend on vmci.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Created new pathsHash.
2013-06-22T10:03:26.300+01:00| vthread-3| I120: Invoking modinfo on "vmmon".
2013-06-22T10:03:26.303+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.303+01:00| vthread-3| I120: Invoking modinfo on "vmnet".
2013-06-22T10:03:26.306+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.306+01:00| vthread-3| I120: Invoking modinfo on "vmblock".
2013-06-22T10:03:26.308+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.308+01:00| vthread-3| I120: Invoking modinfo on "vmci".
2013-06-22T10:03:26.311+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.311+01:00| vthread-3| I120: Invoking modinfo on "vsock".
2013-06-22T10:03:26.313+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.329+01:00| vthread-3| I120: Obtaining info using the running kernel.
2013-06-22T10:03:26.329+01:00| vthread-3| I120: Setting header path for 3.8.0-25-generic to "/lib/modules/3.8.0-25-generic/build/include".
2013-06-22T10:03:26.329+01:00| vthread-3| I120: Validating path "/lib/modules/3.8.0-25-generic/build/include" for kernel release "3.8.0-25-generic".
2013-06-22T10:03:26.338+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-22T10:03:26.338+01:00| vthread-3| I120: The header path "/lib/modules/3.8.0-25-generic/build/include" for the kernel "3.8.0-25-generic" is valid. Whoohoo!
2013-06-22T10:03:26.523+01:00| vthread-3| I120: Kernel header path retrieved from FileEntry: /lib/modules/3.8.0-25-generic/build/include
2013-06-22T10:03:26.523+01:00| vthread-3| I120: Update kernel header path to /lib/modules/3.8.0-25-generic/build/include
2013-06-22T10:03:26.523+01:00| vthread-3| I120: Validating path "/lib/modules/3.8.0-25-generic/build/include" for kernel release "3.8.0-25-generic".
2013-06-22T10:03:26.532+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-22T10:03:26.532+01:00| vthread-3| I120: The header path "/lib/modules/3.8.0-25-generic/build/include" for the kernel "3.8.0-25-generic" is valid. Whoohoo!
2013-06-22T10:03:26.534+01:00| vthread-3| I120: Found compiler at "/usr/bin/gcc"
2013-06-22T10:03:26.537+01:00| vthread-3| I120: Got gcc version "4.7".
2013-06-22T10:03:26.537+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-22T10:03:26.537+01:00| vthread-3| I120: Using user supplied compiler "/usr/bin/gcc".
2013-06-22T10:03:26.540+01:00| vthread-3| I120: Got gcc version "4.7".
2013-06-22T10:03:26.540+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-22T10:03:26.546+01:00| vthread-3| I120: Trying to find a suitable PBM set for kernel "3.8.0-25-generic".
2013-06-22T10:03:26.546+01:00| vthread-3| I120: No matching PBM set was found for kernel "3.8.0-25-generic".
2013-06-22T10:03:26.546+01:00| vthread-3| I120: Validating path "/lib/modules/3.8.0-25-generic/build/include" for kernel release "3.8.0-25-generic".
2013-06-22T10:03:26.555+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-22T10:03:26.555+01:00| vthread-3| I120: The header path "/lib/modules/3.8.0-25-generic/build/include" for the kernel "3.8.0-25-generic" is valid. Whoohoo!
2013-06-22T10:03:26.555+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-22T10:03:26.556+01:00| vthread-3| I120: Validating path "/lib/modules/3.8.0-25-generic/build/include" for kernel release "3.8.0-25-generic".
2013-06-22T10:03:26.568+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-22T10:03:26.568+01:00| vthread-3| I120: The header path "/lib/modules/3.8.0-25-generic/build/include" for the kernel "3.8.0-25-generic" is valid. Whoohoo!
2013-06-22T10:03:26.568+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-22T10:03:26.568+01:00| vthread-3| I120: Using temp dir "/tmp".
2013-06-22T10:03:26.570+01:00| vthread-3| I120: Invoking modinfo on "vmmon".
2013-06-22T10:03:26.574+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.574+01:00| vthread-3| I120: Invoking modinfo on "vmnet".
2013-06-22T10:03:26.578+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.578+01:00| vthread-3| I120: Invoking modinfo on "vmblock".
2013-06-22T10:03:26.582+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.582+01:00| vthread-3| I120: Invoking modinfo on "vmci".
2013-06-22T10:03:26.586+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-22T10:03:26.586+01:00| vthread-3| I120: Invoking modinfo on "vsock".
2013-06-22T10:03:26.590+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
~ $ sudo vmplayer
Logging to /tmp/vmware-root/vmware-modconfig-3146.log -> see above
Stopping VMware services:
VMware Authentication Daemon done
VM communication interface socket family done
Virtual machine communication interface done
Virtual machine monitor done
Blocking file system done
Any help here?
Addendum: I got it working using "sudo vmware-modconfig --console --install-all". Thanks for all your help!