Correct path to the eigen repos.