; ; Er, something is wrong with your environment or your build. ; ; My guess is that you're not linking to the libgmp.so file yuo just ; compiled, but some variant installed which is chosen by means of dynamic ; libary search paths. It's definitely using the new, fat library. I'll keep investigating, I must be missing something. A.