Makefile.def: Make more dependent on mpfr, mpc and isl.