For now, as a workaround, I do this each time I start the system:
$ export LD_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu/ $ gnome-shell --replace otherwise no gnome-shell... I'm waiting for a solution. Best Regards Francesco De Vita -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org