Changes needed to compile isl with imath

These are the changes that are needed to be able to compile isl with imath.
I have tested these patches by building isl with imath, and checked with isl's make check.
I have not used imath's "make check" or "make test" in my testing, although David Peixotto has done that check for each of his patches.