Fix build when CGAL is compiled with GMPXX - followup
This PR really fixes the compilation problem from #145 (closed) (the previous PR #148 was incomplete).
This PR really fixes the compilation problem from #145 (closed) (the previous PR #148 was incomplete).