Traceback (most recent call last):
  File "/usr/bin/gnome-shell", line 281, in <module>
    shell = start_shell()
  File "/usr/bin/gnome-shell", line 176, in start_shell
    (server_glx_extensions, client_glx_extensions, glx_extensions) = _get_glx_extensions()
  File "/usr/bin/gnome-shell", line 113, in _get_glx_extensions
    server_glx_extensions = set(re.split("\s*,\s*", glxinfo_map['server glx extensions'].strip()))
KeyError: 'server glx extensions'