Work around gnome-terminal's TERM variable