VLC makes video choppy on my low-end Debian machine. MPV plays them perfectly.