I got it to work now.The problem was likely caused by some abominable problem in the libgl1-nvidia-alternatives package. After a day of deinstalling and reinstalling some of the programs seem to work now, but not all. If this is a bug it's elsewhere.
-richy. -- Richard B. Kreckel <http://www.ginac.de/~kreckel/> -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

