modified: tools/install_plugins.zsh