minor fixes for MacOSX mavericks and building mplayer