Sorry fellows, I've just learned about the fix in the VLC tree. Shame on me - I don't have enough internet at home to find that. Sorry for the noise :-( Marco