For building mplayer on Debian/Ubuntu