Wouldn't it be a good idea to make /emul in the standard distribution a
symlink to, say, /usr/local/emul? IMHO, there doesn't seem to be much
reason for it to be in the root filesystem (other than giving a nice
short path), and if you've installed the full set of Linux shared
libraries, it adds quite a few megabytes to your root which don't really
need to be there.

Sorry if anyone has already thought of this, haven't been tracking
post-1.2 changes too closely.

-- 
Scott Telford, Edinburgh Parallel Computing Centre,       <s.telford@ed.ac.uk>
University of Edinburgh, Mayfield Rd, Edinburgh EH9 3JZ, UK.(+44 131 650 5978)
"Is it a virus, a drug, or a religion?"  "What's the difference?" - Snow Crash