Update dist.ini.