Here's a tutorial explaining how to fix VirtualBox Guest Addition main module installation (compilation) problems related to errors with missing kernel sources and headers even when they are installed. Enjoy. http://www.dedoimedo.com/computers/virtualbox-compilation-errors.html Cheers, Mrk