This is the short story of how we had to release 0.8.6a version of VLC media player because of some bugs...