version; dist.ini cleanup