Fix configure bug that was misreporting availability of MacOS X 10.5 SDK as available on Linux but not on OS X.