When using the mesa glx instead of nvidia-glx (update-alternatives --config glx) at least gnome-terminal works again...There might be other breakage in gnome. But at least the gnome-terminal problem seems to be related to xorg and the libGL in use. Cheers, Jan