Best of all, the MPlayer devs go to all the trouble of including the full FFmpeg 3.0 sources into the freely distributable source package of the MPlayer 1.3.0 release, which GNU/Linux users can fetch right now from the official website of the project.