add vendored gmp to build