issue #2085: change version number.

issue #2085: change version number.