Re: vmware player installation: kernel headers