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