I'm running Ubuntu 8.04 with all recommended updates.

I recently applied the kernel update from 2.6.24-19 to 2.6.24-21, but when I try to reinstall VMware tools (I'm running Ubuntu in a VM on VMware Fusion 2), the installer complains that my kernel was built with gcc 4.2.3, while I have gcc 4.2.4 installed on the system.

I got both the kernel and gcc from the standard Ubuntu stable package repository. Is it an Ubuntu bug that the latest available kernel was compiled with a different version of gcc than the latest available gcc?

And would it be problematic to reinstall VMware tools, which compiles kernel modules, using the newer version of gcc? The tools installer strongly discourages it.

(Note: the gcc package reports its version as 4:4.2.3-1ubuntu6, but the gcc-4.2 package reports its version as 4.2.4-1ubuntu3.)