Patched version of GNOME Terminal