added a bit to export COLORTERM since my gnome-terminal no longer seems to be doing so