updated version in dist.ini