Fixes solarized colors in GNOME terminal (hopefully didn't break OSX compatibility!).