Just in case glSwapIntervalEXT and glSwapIntervalSGI aren't available for whatever reason. This entire patch is most likely completely redundant on modern mesa drivers.