super-ssh: Don't use the gnome-terminal factory so that we can be compatible with the select-or-launch-terminal script