added Eigen license