After upgrading to 1.7.5-4 on Debian/sid I cannot reproduce this issue even though there is nothing to explain this. Maybe a transient issue on color management on Debian/sid?
Anyway, I think this can be closed at this time. Thanks, -- Pascal Obry / Magny Les Hameaux (78) The best way to travel is by means of imagination http://v2p.fr.eu.org http://www.obry.net gpg --keyserver keys.gnupg.net --recv-key F949BD3B -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org