hotfix: previous change still yields a broken release. So going back to manually editing the version number. We will fix the release process shortly

hotfix: previous change still yields a broken release. So going back to manually editing the version number. We will fix the release process shortly #4