convert to x86 32 bit dist