The two directories using MPFI were incorrect, when `CGAL_DISABLE_GMP` was used. The patch now checks `GMP_FOUND`.