Fix 64-bit simulator build-break