monokai terminal theme is not a git submodule anymore