Fix gmp build for 32bit ubuntu.

Need to set ABI=32 when calling ./configure, at least for 32bit Ubuntu 14.04 desktop.