bumblebee: Debian's nvidia graphics driver packaging is a lot saner than the mess in Ubuntu...