Note to self:

when installing a new version of VMWare Server, make sure to grab the vmware-any-any-update113 patch from http://knihovny.cvut.cz/ftp/pub/vmware/. Without it, compilation of the kernel module vmmon will fail. Also, make sure that the kernel headers are there: apt-get install linux-headers-`uname -r` (hint found on http://www.vmware.com/community/thread.jspa?messageID=580275)

Update: To prevent the log files from flooding with useless information about your real-time clock (VMWare rtc: lost some interrupts), make sure that /etc/vmware/config contains the line host.useFastClock = FALSE. (hint found on http://chxo.com/be2/20060821_3333.html) (yes Anton, there is such a thing as useless information in log files :)