i don't use solarized anymore