xctool needs SDK specified.