Removed Eigen headers