I wrote: > I have fetched a new version from cvs, but build now fails. I forgot to add: I see the same failue on amd64 Debian and amd64 Gentoo. -- Waldek Hebisch hebisch at math.uni.wroc.pl