Updated dist.ini.