On Jan 23, 2017, at 03:06, Joshua Root wrote: > > Any particular reason for this? It adds quite a lot of dependencies to quite a lot of ports. It was using it opportunistically. If we want to try to force it to use system OpenGL instead we can do that. I have not yet investigated how to do that.