waf: 32 bit x86 is "x86", not "x86_32"