Thanks for the replies, overkll & audiodef.
tom, have you tried overkill's suggestion?
I completely wipe out /tmp at each reboot and this does not seem to help. I also created a new test user with an empty home dir. Login in the first time worked ok; the desktop icons are there, after a couple of ...