fixing some annoying problems with dist.ini