Account for gnome-terminal's stupid TERM setting