[PATCH 1/2] configure: Add libgmp dependency.