Merge pull request #11651 from vbatts/vbatts-dont_rm_dockerversion

make.sh: leave around the generated version