fix: libcddgmp may be a c++ library (on ubuntu)