Re: cvs commit: hugs98/src/unix configure.in

Revert to Alastair's change: install in $(libdir)/hugs.

Thanks. btw Does this indicate that we're getting close to a release candidate or is this a Galois-local thing? A