add various plugins to dist.ini