adjust to new version number after hotfix release
Merge branch 'fix-versioning' into devel