dist.ini fixup