(use new default directory, install the plugins as a separate
python module…)