--- src/gui/configure.json.orig	2017-01-18 07:20:58.000000000 -0700
+++ src/gui/configure.json	2017-06-11 06:11:53.000000000 -0700
@@ -182,8 +182,8 @@
             "label": "Desktop OpenGL",
             "test": "unix/opengldesktop",
             "sources": [
-                { "type": "pkgConfig", "args": "gl" },
-                { "type": "makeSpec", "spec": "OPENGL" }
+                { "type": "makeSpec", "spec": "OPENGL" },
+                { "type": "pkgConfig", "args": "gl" }
             ]
         },
         "opengl_es2": {