x86_64: libcdd.so.0 libcddgmp.so.0
