gnome-shell-extension-prefs: Fix warnings