Great, thanks. I thought the package was mplayer2, hence the issue. I finally managed to update mplayer to the 2.2.0 version. Let's see now if it makes the rendering of videos of higher resolution smoother.