Finally tried mpv, and I must say I'm impressed. Long overdue removal of dead features, much saner default configuration. Goodbye mplayer, goodbye mplayer2.