I forgot to mention: make very sure that you configure and build in a
clean directory. I also spent some time chasing a heisenbug, that
just went away when I removed everything in build and reconfigured and
built from scratch.
-- Dr. Denys Duchier Équipe Calligramme LORIA, Nancy, FRANCE - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.