isl_gmp.c: remove spurious include