Eigen seems weird at CI server.