Fix check Eigen version.

Should fix #924 and #925.