> Better to have noise on bugzilla than on this list. > What you describe is a distribution bug, the right place for that is > really bugzilla. Okay, thanks, I'll remember it. After all, it seems to have been my fault.. anyhow. After another restart it worked. Sorry to have bothered you. Maxi