Specify SDK for Travis