[#2002] version bump for 4.0.0 final