add gmp flags to pkg-config file