Default terminal in GNOME 3