[Bug 173043] seamonkey should be 32-bit on x86_64