diff -ru MPlayer-1.2/configure MPlayer-1.2-patched/configure
--- MPlayer-1.2/configure	2015-10-02 23:29:04.000000000 +0300
+++ MPlayer-1.2-patched/configure	2015-11-03 20:03:54.000000000 +0200
@@ -5513,8 +5513,9 @@
     fi
   fi
   if test "$_corevideo" = yes ; then
-    _gl=yes
-    _gl_osx=yes
+#    _gl=yes
+#    _gl_osx=yes
+    true
   fi
 else
   _gl=no