specify xcode sdk for travis