dist.ini tweaks

	modified:   dist.ini