bashrc: actually use dircolors-solarized