zarith: propagate build input gmp