in case there is more than one OSX SDK installed, take by default the latest.