first of all sorry for the delay in my answer.
I have uninstalled the Divx and web players and re-installed vlc, and no apparent change.
I installed 0.9.8a and my workaround does not work so I went back to 0.8.6i until this problem gets definitively fixed.
Enrique