I noticed only now that the library version reported is the 3.1.2-11ghigo. This is a my mistake. 3.1.2-11ghigo is the library which I rebuild with the patch. The problem is related to the 3.1.2-10.
BR G.Baroncelli -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org