7b7ea97741
top-of-obj/tools/tools.OS-VERSION-STRING to top-of-obj/tooldir.OS-VERSION-STRING It's more consistent with the build.sh defaults for DESTDIR and RELEASEDIR, and it's easier on "mr lazy completion fingers".