Fix configure under OS X Yosemite.