Travis: specify SDK directly.