[Clr-dev] [PATCH clr-bundles] c-basic: handle library rename libgmpxx4 -> gmp-gmpxx