Migrating from Eigen2 to Eigen3