use Prefer32Bit=true for our x86 host