Change update.sh to munge "4.0" into "4.0.0" so we keep the "4.0.0" tag when "4.0.1" comes around