Make sure we build for 64 bit sim always.