But if they do not release the source code to everything required to make the exact same mplayer binary they distributed, then they MUST release the non-GPL object files instead to allow re-linking a modified mplayer with whatever they added. Of course, source would be nice, but they legally...