More tweaks to dist.ini