changes in dist.ini