use the latest but unstable version of Eigen