* Update version number for new release.