Hi David, well, the problem seems to have been that there were some files left over from a previous build a couple of months ago. I deleted all the files from the previous build and tried it again and it succeeded.
I don't know what got messed up -- some combination of make, defsystem, and/or GCL -- but anyway a clean build fixed the problem. Robert
