Don't use 256 solarized