Added monokai-theme to missing-packages.