.bashrc: use mpv instead of mplayer