Use solarized-theme instead of color-theme-solarized.