move x86 back to .32 for now