[Bug 1036494] VUL-0: CVE-2017-8288: gnome-shell: mishandles extensions that fail to reload