Hack in the enabling of 256 colors in gnome-terminal