It generated this logfile:
2013-06-20T19:18:54.571+01:00| vthread-3| I120: Log for VMware Workstation pid=27029 version=9.0.2 build=build-1031769 option=Release
2013-06-20T19:18:54.571+01:00| vthread-3| I120: The process is 64-bit.
2013-06-20T19:18:54.571+01:00| vthread-3| I120: Host codepage=UTF-8 encoding=UTF-8
2013-06-20T19:18:54.571+01:00| vthread-3| I120: Host is Linux 3.8.0-25-generic Linux Mint 15 Olivia
2013-06-20T19:18:54.571+01:00| vthread-3| I120: Msg_Reset:
2013-06-20T19:18:54.571+01:00| vthread-3| I120: [msg.dictionary.load.openFailed] Cannot open file "/usr/lib/vmware/settings": Ingen sådan fil eller filkatalog.
2013-06-20T19:18:54.571+01:00| vthread-3| I120: ----------------------------------------
2013-06-20T19:18:54.571+01:00| vthread-3| I120: PREF Optional preferences file not found at /usr/lib/vmware/settings. Using default values.
2013-06-20T19:18:54.571+01:00| vthread-3| I120: Msg_Reset:
2013-06-20T19:18:54.571+01:00| vthread-3| I120: [msg.dictionary.load.openFailed] Cannot open file "/home/johan/.vmware/config": Ingen sådan fil eller filkatalog.
2013-06-20T19:18:54.571+01:00| vthread-3| I120: ----------------------------------------
2013-06-20T19:18:54.571+01:00| vthread-3| I120: PREF Optional preferences file not found at /home/johan/.vmware/config. Using default values.
2013-06-20T19:18:54.571+01:00| vthread-3| W110: Logging to /tmp/vmware-johan/vmware-modconfig-27029.log
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Reading in info for the vmmon module.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Reading in info for the vmnet module.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Reading in info for the vmblock module.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Reading in info for the vmci module.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Reading in info for the vsock module.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Setting vsock to depend on vmci.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Created new pathsHash.
2013-06-20T19:18:54.599+01:00| vthread-3| I120: Invoking modinfo on "vmmon".
2013-06-20T19:18:54.602+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-20T19:18:54.602+01:00| vthread-3| I120: Invoking modinfo on "vmnet".
2013-06-20T19:18:54.605+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-20T19:18:54.605+01:00| vthread-3| I120: Invoking modinfo on "vmblock".
2013-06-20T19:18:54.608+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-20T19:18:54.609+01:00| vthread-3| I120: Invoking modinfo on "vmci".
2013-06-20T19:18:54.612+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-20T19:18:54.612+01:00| vthread-3| I120: Invoking modinfo on "vsock".
2013-06-20T19:18:54.615+01:00| vthread-3| I120: "/sbin/modinfo" exited with status 256.
2013-06-20T19:18:54.631+01:00| vthread-3| I120: Obtaining info using the running kernel.
2013-06-20T19:18:54.631+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-20T19:18:54.631+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-20T19:18:54.631+01:00| vthread-3| I120: Failed to find /lib/modules/3.8.0-25-generic/build/include/linux/version.h
2013-06-20T19:18:54.631+01:00| vthread-3| I120: /lib/modules/3.8.0-25-generic/build/include/linux/version.h not found, looking for generated/uapi/linux/version.h instead.
2013-06-20T19:18:54.640+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-20T19:18:54.641+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-20T19:18:54.830+01:00| vthread-3| I120: Kernel header path retrieved from FileEntry: /lib/modules/3.8.0-25-generic/build/include
2013-06-20T19:18:54.830+01:00| vthread-3| I120: Update kernel header path to /lib/modules/3.8.0-25-generic/build/include
2013-06-20T19:18:54.830+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-20T19:18:54.830+01:00| vthread-3| I120: Failed to find /lib/modules/3.8.0-25-generic/build/include/linux/version.h
2013-06-20T19:18:54.830+01:00| vthread-3| I120: /lib/modules/3.8.0-25-generic/build/include/linux/version.h not found, looking for generated/uapi/linux/version.h instead.
2013-06-20T19:18:54.839+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-20T19:18:54.839+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-20T19:18:54.841+01:00| vthread-3| I120: Found compiler at "/usr/bin/gcc"
2013-06-20T19:18:54.844+01:00| vthread-3| I120: Got gcc version "4.7".
2013-06-20T19:18:54.844+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-20T19:18:54.845+01:00| vthread-3| I120: Using user supplied compiler "/usr/bin/gcc".
2013-06-20T19:18:54.848+01:00| vthread-3| I120: Got gcc version "4.7".
2013-06-20T19:18:54.848+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
2013-06-20T19:18:54.853+01:00| vthread-3| I120: Trying to find a suitable PBM set for kernel "3.8.0-25-generic".
2013-06-20T19:18:54.853+01:00| vthread-3| I120: No matching PBM set was found for kernel "3.8.0-25-generic".
2013-06-20T19:18:54.854+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-20T19:18:54.854+01:00| vthread-3| I120: Failed to find /lib/modules/3.8.0-25-generic/build/include/linux/version.h
2013-06-20T19:18:54.854+01:00| vthread-3| I120: /lib/modules/3.8.0-25-generic/build/include/linux/version.h not found, looking for generated/uapi/linux/version.h instead.
2013-06-20T19:18:54.863+01:00| vthread-3| I120: Preprocessed UTS_RELEASE, got value "3.8.0-25-generic".
2013-06-20T19:18:54.863+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-20T19:18:54.863+01:00| vthread-3| I120: The GCC version matches the kernel GCC minor version like a glove.
The danish part basically says "No such file or catalog". I believe it has something to do with a newer Linux version, but I'm not sure.
Can anyone please help me?
Addendum: I'm running Linux Mint 15 with kernel version 3.8.0.25.43