Travis: Now specify -sdk