Issue #3221: update the version number

update the version number