I think the problem was caused by the NVidia driver. Now that I do net use that driver there is no longer a problem. I think the bug can be closed! -- Eeltje de Vries