Ensure that 64-bit nSIM is used.