Change release version number in dist.ini