dist.ini tweaks