Default terminal emulator in GNOME 3.0