vmware-player-kernel-modules-2.6.20-8.postinst calls "depmod -a -q -F /boot/System.map-player player"

[Terence Simpson]

vmware-player-kernel-modules-2.6.20-8 post install calls "depmod -a -q -F /boot/System.map-player player"
Output from apt-get dist-upgrade:

Reading package lists... Done
Building dependency tree
Reading state information... Done
Calculating upgrade... Done
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
2 not fully installed or removed.
Need to get 0B of archives.
After unpacking 0B of additional disk space will be used.
Do you want to continue [Y/n]? y
Setting up vmware-player-kernel-modules-2.6.20-8 (2.6.20.2-8.6) ...
FATAL: Could not open '/boot/System.map-player': No such file or directory
dpkg: error processing vmware-player-kernel-modules-2.6.20-8 (--configure):
 subprocess post-installation script returned error exit status 1
dpkg: dependency problems prevent configuration of vmware-player-kernel-modules:
 vmware-player-kernel-modules depends on vmware-player-kernel-modules-2.6.20-8; however:
  Package vmware-player-kernel-modules-2.6.20-8 is not configured yet.
dpkg: error processing vmware-player-kernel-modules (--configure):
 dependency problems - leaving unconfigured
Errors were encountered while processing:
 vmware-player-kernel-modules-2.6.20-8
 vmware-player-kernel-modules
E: Sub-process /usr/bin/dpkg returned an error code (1)

[Alfredo Matos (alfmatos)]

Workaround:

sudo touch /boot/System.map-player

sudo apt-get dist-upgrade