Update eigen3-hg.