Make configure work on 32-bit i?86

As requested, cherry-picked this patch for 1.8-dev, see #606.