issue #2085: update version number.

issue #2085: update version number.