Include -lgmp in the pkg-config file when building with gnutls