Es gibt ein neues Minor-Release von VLC. Ich habe diesen Movie-Viewer mittlerweile liebgewonnen – der hat bisher auch brav alles gefressen, womit ich ihn gefüttert habe. 0.7.1 gibts bei versiontracker.