[dist] Tweak dist.ini