also bump version in dist.ini