Naive builders, particular on Windows without git installed,
would get builds calling themselves 1.0.1 even though master
has diverged significantly from the 1.0.x series at this point.

We should update this file both before and after release.