fixes to dist.ini