Comment 18 for bug 579300

An here the kernel headers also to install with sudo dpkg -i