I do get the same problem with current cvs as was reported last night. And I did a fresh check out, etc. . -- Johannes