Attempt xctool with 64-bit simulator again