Tweaking dist.ini