Fix search of the OSX SDK