Is it just me, or is the gmp2 package badly broken? It seems to be linked to Linux libc6 or something..