update mpc and isl versions