I should try first which version is the last working for me and which one is the first not working. But before anything I should update my Ubuntu Linux, which is some two years old. I won&#39;t be able to do that till the summer, but that is no problem since I usually use Windows on the same computer, and there I do not get the exception.<br>
<br>So don&#39;t worry very much about it, it is llikely to be solved when I install a newer Linux.<br><br>