Update version number here as well; patchlevel.h is not the only place.