> I'd like to ask you to fix this in the next release or what you'd > recommend to me as a fix. I suggest you correctly install the packages needed :) sudo apt-get install linux-headers-`uname -r` That ought to get you what you want.