Prefer mpv over mplayer2.