Okay, I was able to find a workaround for this, and also to reproduce the error. First, I booted up another machine also running debian stable, but with the xfce desktop (not gnome). This runs vlc fine. Then, I created a new user account on the gnome machine. and vlc opened okay on the new user acco...