Benjamin Kosnik wrote: >You'll need to add this in config/link-map.gnu. Let me know if it works. Yes, this fixed the failures. Thanks, Ulrich -- Dr. Ulrich Weigand weigand@informatik.uni-erlangen.de