We could check for the extensions but these OpenGL options are never used, so no need to disable them.