4cdcb0
Fix/Workaround bug #591 We could check for the extensions but these OpenGL options are never used, so no need to disable them.