added caveat about linking against gmplib