Make configure work on 32-bit i?86