Bump version number in dist.ini