> I applied the patch by hand (not working with CVS) and it > does _not_ solve the problem. > In this case, I am sorry but the probability of a fix before the release is close to zero. Paolo