Added Eigen 3.2.0