Allow gmp to be built static for gitian builds