added a missing dependency on GMP