> One small oddity of the new source is that make clean now fails: > [...]
I can't confirm this; it works on my GNU/Linux box. Can you give more
details?
> Anyway, it still seems to crash.
Will try to investigate (and Gaius too, I believe).
Werner
