update dist.ini and support files