name change in dist.ini