Issue #24: no need to link against gmpxx