Add patch to fix build error in OS X 10.9

This is to fix #25107