fix dist.ini a bit more