Comment 62 for bug 85751

Fabio, could you submit a debdiff containing the fix you propose, so that it can get reviewed?
You can get the mplayer source from Ubuntu repos using "apt-get source mplayer", just make sure you have multiverse source repository in you /etc/apt/sources.list or grab the bzr branch from http://bazaar.launchpad.net/~ubuntu-dev/mplayer/ubuntu.