[Bug 778436] gnome-shell-extension-prefs segfaults on certain extensions