detect missing gmp.h or missing/old gmp library during configure