Mplayer fix build and warning

The patches fix build/configuration issues and a packaging warning. The commit messages describe the issue and how the problem is fixed.