Gnome shell and NVidia binary drivers