Add these back.

These symbols were removed from glfw3 a couple of months ago, but have now been added back again.