using mpv instead of mplayer2 now. also, no more debian