let us try to assume that xctool is installed.