further work with dist.ini, adding some plugins