vdr-mp3: Also fix VDR 2.1.2 compatibility for mplayer plugin