Fix incorrect detection of Travis CI environment
Make xctool work by providing SDK implicitly