Small correction of xctool invocation