On my machine, VLC player properly and smoothly renders Bluray video. On the same machine, however, when I play the same Bluray file in my app built on top of libvlc, the playback is really poor. Are there any settings for libvlc that I'm overlooking, that might cure this problem?