Fix up broken 2.063.1 merge.

Either I or the repo update secripts got confused by the
fact that the tag was actually changed at some point.