fix: cddgmp test (with static libs)