[Hedge] hedge build error: file gmp.h not found