Make dependency on gmpcompat.h.