x86 now renamed x32 for arch