Update the version number which is synchronized with the github version.