Workaround: sudo touch /boot/System.map-player
sudo apt-get dist-upgrade -- vmware-player-kernel-modules-2.6.20-8.postinst calls "depmod -a -q -F /boot/System.map-player player" https://launchpad.net/bugs/85080 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
