Fix for Travis failing due to outdated xctool