Update version for next development iteration, fixes #644