Improve the dynamic loading of libGL.so so that it's closed when gtglShutdown()