configure: fix minor issue with OpenGL detection