Martin Vermeer wrote: > I think I found the culprit, see attached. > > Could you verify in branch (or where you have enable-stdlib-debug) that > this does the job?
Well, in branch, the renaming has been reverted (and I prefer it to stay that way). I can test for trunk, if you are patient enough to let me recompile. Jürgen
