Andi, we'll try to look at your patch as soon as we can. Thanks for
confirming the possibility of a problem. Right now we are going to patch
supermon first to see if we can work around the problem, since we can't
ask everybody to apply that patch.
But I would like at some point to see if that's it.
thanks again
ron