don't use solarized theme