VmWare Player could not open /dev/vmmon

Сегодня моргнул свет и девелоперская машина перезагрузилась. После этого VmWare Player перестал запускать виртуальную машину с svn, выдавая следующее сообщение:

Could not open /dev/vmmon: No such file or directory.

Помогла перекомпиляция модулей.

sudo rm /lib/modules/2.6.32-41-generic-pae/misc/*
sudo vmware-modconfig –console –install-all --appname="VMware Player" --icon="vmware-player"