More changes to dist.ini