Modernize dist.ini somewhat.