updated where the monokai plugin comes from