Hi!, I was just looking at my Debian bug reports and found this one. I checked, and the problem reported is now gone. I thought to let you know so that you can close it:D. Thanks! Pato