Do not link against gmp :-).