Use Eigen 3.1.4.