Thanks. I am so happy that I now can play <img src="/ubbthreads/images/graemlins/div.gif" alt="" /> under Linux <img src="/ubbthreads/images/graemlins/biggrin.gif" alt="" />
(and thanks for explaining everything)