Since this problem has existed for almost half a year now, and been seen by at least 8 different users, I wonder if 1. this a general problem that tells us VLC trac is not actively used any longer, or 2. this is an individual problem that is resolved on a case-by-case basis. @yarda, @metal450, @da24...