Remove work-around for gnome-256color terminal as not using it any more.