Bump to hax[3.0.0].