I have no idea if this problem is due to GCC problems or GMP problems. GCC 4.3.2 is a known bad choice for current GMP. Anyway, GMP 4.2.2 is seriously outdated. Please upgrade to a current version. -- Torbjörn