Well, it worked indeed, but I have occasional crashes upon quitting, and it is true that the vlcrc has not returned after being destroyed, so I wonder where it came from originally. I tried the following: idestroyed the application VLC and re-copy it from the .dmg, but the vlcrc file does not reappe...