Remove monokai-theme.el