fix up gmp depends
get rid of gcc-libs dep
upgrade isl