chg: check if NTL_GMP_LIP=on was given to NTL's configure