I finally figured out what was going wrong. My copy of the git repository got corrupted, somehow, and wasn't getting completely updated. I deleted it all and cloned a new copy. Now vlc is working much better. -- Greg