By the way:

> [...] they could be moved into the non-domestic
> part of the source tree and eliminate once and for all this particular
> bootstrapping problem.

This doesn't really help much, since to generate the libss headers, you'll
need compile_et.  If you set DESTDIR to a non-root path and you try to
generate compile_et before the `make includes', you'll fail.

--scott