Use linux-specifc bashrc to setup gnome-terminal colors