use the right version of xctool