Toh, ho risolto una problema che mi portavo dietro da un sacco di tempo! Mplayer mi ha sempre consumato un sacco di CPU, e quindi il video mi andava a scatti, spesso. Quindi avevo optato per vlc, che è comunque una figata.
Ebbene, basta modificare il file ~/.mplayer/config ed aggiungere:
vo=xv
e va tutto perfetto!
Grazie a questa guida di Felipe.