I only checked with mplayer1, not mplayer2. But mplayer2 seems to be dead anyway, so that's a non-issue.
I only checked with mplayer1, not mplayer2. But mplayer2 seems to be dead anyway, so that's a non-issue.