Fix errant `gmp4` in isl011-julia