Update version number for 4.0.0