> 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