The build now depends on lib{gmp,mpfr,mpc,isl,cloog}.