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