gmp required ABI=32

[Tobias Gasser]

i had to add ABI=32 as my system was identified ad 64bit.

./configure ABI=32 --prefix=/usr --enable-cxx --enable-mpbsd

i'm using CFLAGS="-O3 -march=i486" as a global setting, overwritten for 
some special cases mentionned in the book.

any idea why i have to add ABI=32 ???

thanks
tobias