> Note that the same bug should then exist in our CVS trunk. I guess so, the thing is I usually don't install the CVS trunk. Regards, Tom