Install monokai theme to fix broken solarized theme