Make dist.ini more standard