http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53509 --- Comment #3 from Fedor Baart <f.baart at gmail dot com> 2012-06-06 17:55:54 UTC --- Thanks, I managed to solve this by recompiling gmp using gcc 4.5 instead of clang, which is the default in macports.