added some plugins to dist.ini