merging changes in Eigen corresponding to version 3.2