- fix linking, gmp is required