Apparently we don't need to install xctool.